Revision as of 08:29, 5 April 2008 edit Dekart (talk \| contribs) 1,344 edits mNo edit summary ← Previous edit		Revision as of 10:23, 12 November 2008 edit undo Lightbot (talk \| contribs) 791,863 edits Date audit per mosnum/overlink/Other Next edit →
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: Difference between revisions