Wikipedia

Property Specification Language

This is an old revision of this page, as edited by Zoe (talk | contribs) at 22:03, 2 October 2005 (Reverted edits by Snowspinner to last version by Aranda56). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

This article is being considered for deletion in accordance with Wikipedia's deletion policy.
Please share your thoughts on the matter at this article's entry on the Articles for Deletion page.

You are welcome to edit this article, but please do not blank this article or remove this notice while the discussion is in progress. For more information, particularly on merging or moving the article during the discussion, read the Guide to Deletion.

Property Specification Language is a language standardized by Accellera for specifying properties or assertions about hardware designs. The properties can then be simulated or formally verified. It comes in two flavors, one for VHDL and one for Verilog.

More information is available at

Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Property_Specification_Language&oldid=24595455"