Revision as of 09:25, 19 February 2011 edit Dekart (talk \| contribs) 1,344 edits removed Category:Hardware description languages; added Category:Hardware verification languages using HotCat ← Previous edit		Revision as of 14:46, 30 March 2012 edit undo Wbm1058 (talk \| contribs) Autopatrolled, Administrators 278,603 edits WP:OVERLINK 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