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.
Cadence Design Systems will host the Mixed-Signal Design Summit on October 27, 2009 from 8:45 a.m. to 6 p.m. Pacific time. The event will take place at Cadence Design Systems (2655 Seely Ave., San Jose, Calif. 95134) in Building 10 R&D Auditorium. Engineers and executives from Cadence Design Systems and leading semiconductor firms are meeting in an open forum to discuss the challenges of mixed-signal design methodologies. Attendees are invited to hear a keynote by Paul Emerson of Texas Instruments, listen to fellow designers discuss methodologies they followed to tackle mixed-signal design obstacles, watch live technical product demonstrations, and ask questions in an informal setting. An am:azon Kindle ebook reader will be given away during the design summit.