SLASH, from Dolphin Integration, bundles the SLED schematic link editor with the SMASH mixed signal simulator. SLASH natively supports Property Specification Language (PSL) assertions to empower designers for performing Assertion-Based Verification (ABV). PSL is a language based on the Sugar language which originated at IBM Haifa. It has been IEEE standardized as PSL in 1995. It aims at specifying design properties through assertions to ensure that a circuit meets its specifications.