Property Specification Language

The Property Specification Language ( PSL; German as language for describing properties ) was developed by Accellera to specify properties or assertions in the design of hardware designs. These properties can then be simulated or formally verified. Since September 2004, the standardization of the language has been driven by the IEEE 1850 working group. In September 2005, the IEEE 1850 Standard for Property Specification Language ( PSL) was officially launched.

The Property Specification Language to be used in a variety of hardware description languages. For example:

• VHDL (IEEE 1076)
• Verilog (IEEE 1364)
• SystemVerilog (IEEE 1800)
• SystemC by the OSCI