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 ...

PSL is a formal notation for specification of electronic system behavior, compatible with multiple electronic system design languages, including IEEE Std 1076 (VHDL), IEEE Std 1354 (Verilog), IEEE Std ...

The first ever comprehensive text written about the IEEE standard P1850 PSL, A Practical Introduction to PSL, has just been published. PSL, Property Specification Language, was originally developed by ...

SAN JOSE, Calif. — April 25, 2002 — Several leading electronics and electronic design automation (EDA) companies today pledged support for the formal property language recently selected by the ...

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 ...

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 ...

> 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 ...

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 ...

MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Jan. 12, 2005--Jasper Design Automation, provider of breakthrough high-level formal verification solutions, today announced that it has acquired Safelogic, the ...

A breakthrough microchip specification language will allow ambiguous English to be replaced by a mathematically precise description of processor functions and design. Better yet, it applies to every ...

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 ...