„Property Specification Language“ – Versionsunterschied

Versionsgeschichte interaktiv durchsuchen

[gesichtete Version]

← Zum vorherigen Versionsunterschied Zum nächsten Versionsunterschied →

Inhalt gelöscht Inhalt hinzugefügt

Inline

Version vom 15. Dezember 2011, 22:29 Uhr

Die Property Specification Language (PSL; deutsch etwa Beschreibungssprache für Eigenschaften) wurde von Accellera entwickelt, um Eigenschaften oder Assertions beim Entwurf von Hardware Designs zu spezifizieren. Diese Eigenschaften können dann simuliert oder 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 Hardwarebeschreibungssprachen einsetzbar sein. Zum Beispiel:

VHDL (IEEE 1076)
Verilog (IEEE 1364)
SystemVerilog (IEEE 1800)
SystemC durch die OSCI

Weblinks

IEEE P1850 PSL Working Group (englisch)
IEEE Announcement September 2005 (englisch)
Accellera
Designers guide to PSL (englisch)

@@ Zeile 1: / Zeile 1: @@
-Die '''Property Specification Language''' ('''PSL'''), auf Deutsch etwa 'Beschreibungssprache für Eigenschaften', wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)|Assertion]]s 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''' ('''PSL'''; {{deS}} etwa ''Beschreibungssprache für Eigenschaften'') wurde von [[Accellera]] entwickelt, um [[Eigenschaft]]en oder [[Assertion (Informatik)|Assertion]]s 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|Hardwarebeschreibungssprachen]] einsetzbar sein.
+Die Property Specification Language soll in einer Vielzahl von [[Hardwarebeschreibungssprache|Hardwarebeschreibungssprachen]] einsetzbar sein. Zum Beispiel:
+* [[Very High Speed Integrated Circuit Hardware Description Language|VHDL]] (IEEE 1076)
-Zum Beispiel:
+* [[Verilog]] (IEEE 1364)
+* [[SystemVerilog]] (IEEE 1800)
+* [[SystemC]] durch die [[Online Services Computer Interface|OSCI]]
+== Weblinks ==
-* [[Very High Speed Integrated Circuit Hardware Description Language|VHDL]] (IEEE 1076),
+* [http://www.eda.org/ieee-1850 IEEE P1850 PSL Working Group] (englisch)
-* [[Verilog]] (IEEE 1364),
+* [http://standards.ieee.org/announcements/pr_1850psl.html IEEE Announcement September 2005] (englisch)
-* [[SystemVerilog]] (IEEE 1800), und
-* [[SystemC]] durch die [[Online Services Computer Interface|OSCI]].
-== Weblinks (engl.) ==
-* [http://www.eda.org/ieee-1850 IEEE 1850 working group]
-* [http://standards.ieee.org/announcements/pr_1850psl.html IEEE Announcement September 2005]
 * [http://www.accellera.org/ Accellera]
-* [http://www.pslsugar.org/ The PSL/Sugar Consortium]
+<!-- * [http://www.pslsugar.org/ The PSL/Sugar Consortium] (scheint nicht mehr aktuell zu sein) -->
-* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL]
+* [http://www.doulos.com/knowhow/psl/ Designers guide to PSL] (englisch)
 [[Kategorie:Hardwarebeschreibungssprache]]