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 ...
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 ...
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 ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback