Revision as of 04:24, 26 October 2005 edit MeltBanana (talk \| contribs) 12,587 edits m →See also: fix cat ← Previous edit		Revision as of 13:52, 14 December 2005 edit undo CALR (talk \| contribs) Extended confirmed users 16,050 edits m Popups-assisted disambiguation from Standard to standardization Next edit →
Line 1: '''Property Specification Language''' is a language developed by [[Accellera]] for specifying [[Property (philosophy)\|properties]] or [[assertion (computing)\|assertions]] about [[hardware]] designs. Since [[September]] [[2004]] the [[standardization\|standard]]ization on the language has been done in [[IEEE]] 1850 working group. The properties can then be [[simulation\|simulated]] or [[Formal verification\|formally verified]]. Propery Specification Language aims to be used with multiple electronic system design languages such as

Property Specification Language: Difference between revisions