UNLIMITED FREE
ACCESS TO THE WORLD'S BEST IDEAS

SUBMIT
Already a GlobalSpec user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your GlobalSpec Experience

Select Your Free Newsletters

Industry Newsletters

Select Your Free Product Alerts

Finish!
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

IEEE 1850

Standard for Property Specification Language (PSL)

inactive
Buy Now
Organization: IEEE
Publication Date: 22 September 2005
Status: inactive
Page Count: 156
scope:

Foreword

IEEE Std 1850 Property Specification Language (PSL) is based upon the Accellera Property Specification Language (Accellera PSL), a language for formal specification of electronic system behavior, which was developed by Accellera, a consortium of Electronic Design Automation (EDA), semiconductor, and system companies. IEEE Std 1850 PSL refines Accellera PSL version 1.1, addressing errata and a few minor technical issues and clarifying how PSL interfaces with various standard electronic system design languages.

Scope

This standard defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages.

Document History

IEEE 1850
March 25, 2010
Property Specification Language (PSL)
This standard defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how...
IEEE 1850
September 22, 2005
Standard for Property Specification Language (PSL)
Foreword IEEE Std 1850 Property Specification Language (PSL) is based upon the Accellera Property Specification Language (Accellera PSL), a language for formal specification of electronic system...

References

This document references:
IEEE 1076 - VHDL Language Reference Manual
Published by IEEE on September 5, 2019
This standard defines the syntax and semantics of the VHSIC Hardware Description Language (VHDL). The acronym VHSIC (Very High Speed Integrated Circuits) in the language’s name comes from the U.S....
This document references:
IEEE 1364 - Standard Verilog Hardware Description Language
Published by IEEE on January 1, 2005
Verilog is a hardware description language (HDL) that was standardized as IEEE Std 1364™-1995 and first revised as IEEE Std 1364-2001. This revision corrects and clarifies features ambiguously...
This document references:
IEEE 1666 - Standard SystemC Language Reference Manual
Published by IEEE on September 10, 2011
This standard defines SystemC®1 with Transaction Level Modeling (TLM) as an ANSI standard C++ class library for system and hardware design. Purpose The general purpose of this standard is to provide...
This document references:
IEEE 1800 - Errata to IEEE Standard for SystemVerilog—Unified Hardware Design, Specification, and Verification Language
Published by IEEE on April 15, 2019
A description is not available for this item.
This document references:
IEEE 62142 - Verilog register transfer level synthesis
Published by IEEE on June 1, 2005
1) The International Electrotechnical Commission (IEC) is a worldwide organization for standardization comprising all national electrotechnical committees (IEC National Committees). The object of IEC...
View Less
View All
Advertisement