Property Specification Language: Difference between revisions

Revision as of 13:42, 17 August 2006

Revision as of 12:19, 2 December 2006

Line 1:

'''Property Specification Language''' ('''PSL''') is a language developed by [[Accellera]] for specifying [[Property (philosophy)|properties]] or [[assertion (computing)|assertions]] about [[hardware]] designs. The properties can then be [[simulation|simulated]] or [[Formal verification|formally verified]]. Since September [[2004]] the [[standardization|standard]]ization on the language has been done in [[IEEE]] 1850 working group. In September [[2005]], the IEEE 1850 Standard for Property Specification Language (PSL) was announced.

Property Specification Language aims to be used with multiple electronic system design languages such as:

Property Specification Language aims to be used with multiple electronic system design languages such as

* [[VHDL]] (IEEE 1076),

* [[Verilog]] (IEEE 1364),

Line 16 ⟶ 17:

[[Category:Hardware description languages]]

[[Category:Formal methodsspecification languages]]