The IEEE today signed off on the IEEE 1850 PSL (property-specification-language) standard, which the organization says will help designers save verification time, effort, and cost while also improving ...

SAN FRANCISCO — In what may be record time for the IEEE standardization process, the organization has approved the standard for Property Specification Language (PSL) for the verification of complex ...

NAPA, Calif.--(BUSINESS WIRE)--June 2, 2003--Accellera, the electronics industry organization focused on language-based electronic design standards, today announced that its Board and Technical ...

> TRANSEDA'S VN-PROPERTY property checker and analyzer now supports Accellera's Property Specification Language (PSL, formerly known as IBM Sugar). For details, visit www.transeda.com. > ON THE HEELS ...

San Jose, Calif., April 26, 2002 - Cadence Design Systems, Inc. (NYSE: CDN), the world's leading supplier of electronic design products and services, announced its support for the standard property ...

NAPA, Calif., Oct. 9, 2006 - Accellera, the electronics industry organization focused on electronic design automation standards, announced today that its members and Board of Directors have approved a ...

It's shaping up as the summer of assertion-based verification. Summit Design has debuted an assertion-based flow linking the Property Specification Language (formerly IBM's Sugar 2.0) with its Visual ...