Quelltext der Seite Property Specification Language

{{Belege fehlen}}

Die '''Property Specification Language''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)|Assertions]] beim Entwurf von [[Hardware]]-Designs zu spezifizieren. Diese Eigenschaften können dann [[Simulation|simuliert]] oder [[Verifikation|formal verifiziert]] werden.  Seit September [[2004]] wurde die [[Standardisierung]] der Sprache durch die [[IEEE]] 1850 Arbeitsgruppe vorangetrieben.  Im September [[2005]], wurde der ''IEEE 1850 Standard for Property Specification Language (PSL)'' offiziell vorgestellt.

Die Property Specification Language soll in einer Vielzahl von [[Hardwarebeschreibungssprache]]n einsetzbar sein. Zum Beispiel:
* [[Very High Speed Integrated Circuit Hardware Description Language|VHDL]] (IEEE 1076)
* [[Verilog]] (IEEE 1364)
* [[SystemVerilog]] (IEEE 1800)
* [[SystemC]] durch die [[Online Services Computer Interface|OSCI]]

== Weblinks ==
* [http://www.eda.org/ieee-1850 IEEE P1850 PSL Working Group] (englisch)
* [http://standards.ieee.org/announcements/pr_1850psl.html IEEE Announcement September 2005] (englisch)
* [http://www.accellera.org/ Accellera]
<!-- * [http://www.pslsugar.org/ The PSL/Sugar Consortium] (scheint nicht mehr aktuell zu sein) -->
* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL] (englisch)

{{Navigationsleiste programmierbare Logik}}

[[Kategorie:Hardwarebeschreibungssprache]]