imported>Aka: Tippfehler entfernt, Links optimiert

2024-06-03T21:43:38Z

Neue Seite

{{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.doulos.com/knowhow/psl/ Designers guide to PSL] (englisch)

{{Navigationsleiste programmierbare Logik}}

[[Kategorie:Hardwarebeschreibungssprache]]

Property Specification Language - Versionsgeschichte

imported>Aka: Tippfehler entfernt, Links optimiert