The IEEE has approved a new revision of the IEEE 1850[tm], “Standard for PSL: Property Specification Language.” The standard provides a language for formal specification of electronic system behavior. The new revision refines the standard, addresses errata and technical issues, and adds extensions related to property reuse and improved simulation usability.
The Property Specification Language standard eases the burden of electronic design verification by letting designers capture design intent and functional specs with more confidence so that they can save downstream verification time, effort and cost while improving quality.
The PSL standard was first developed by Accellera, a consortium of Electronic Design Automation (EDA), Intellectual Property (IP), semiconductor, and system companies. Accellera transferred the project to IEEE, and the first version of IEEE 1850 was published in 2005.
“The new version of IEEE 1850 will help hardware developers to reduce their verification time and costs,” said Harry Foster, Chair of the IEEE 1850 Working Group. “We collaborated with the working groups dealing with four other hardware language projects to support cross-language properties.” The other projects are IEEE P1076[tm], IEEE Standard VHDL; IEEE P1364[tm], Standard for Verilog Hardware Description Language; IEEE P1647[tm], Standard for the Functional Verification Language ‘e’; and IEEE P1800[tm], Standard for SystemVerilog Hardware Description Language.
“Accellera works with and supports the IEEE standardization efforts for EDA and IP,” said Shrenik Mehta, Accellera chair. “We applaud this second major release of the PSL standard by the IEEE since it validates PSL’s benefits, use, support and interest by the electronics industry.”
IEEE 1850 was developed within the IEEE-SA Corporate Program, in which each member of the company-based working group has one vote. This industry-oriented program often allows for standards creation in one to two years, depending on participant commitment and the use of IEEE support services. Corporate members participating in this project include Accellera, Cadence Design Systems, IBM, Intel, Mentor Graphics, Synopsys and Verisity Design.
About the IEEE Standards Association
The IEEE Standards Association, a globally recognized standards-setting body, develops consensus standards through an open process that engages industry and brings together a broad stakeholder community. IEEE standards set specifications and best practices based on current scientific and technological knowledge. The IEEE-SA has a portfolio of 900 active standards and more than 400 standards under development. For information on the IEEE-SA, see standards.ieee.org
IEEE is the world’s largest technical professional association. Through its more than 375,000 members in 160 countries, IEEE is a leading authority on a wide variety of areas ranging from aerospace systems, computers and telecommunications to biomedical engineering, electric power and consumer electronics. Dedicated to the advancement of technology, IEEE publishes 30 percent of the world’s literature in the electrical and electronics engineering and computer science fields, and has developed nearly 900 active industry standards. The organization annually sponsors more than 850 conferences worldwide.