Property Specification Language
http://dbpedia.org/resource/Property_Specification_Language an entity of type: WikicatComputerFileFormats
Le Property Specification Language (PSL) (en français : Langage de spécification par propriétés) est basé sur le langage Sugar d’IBM. Il a été approuvé par l’organisme Accellera en mai 2003, et par l’IEEE en septembre 2004. C'est un langage formel qui permet de réaliser une spécification matérielle à l'aide de propriétés et d'assertions. Du fait de la haute précision mathématique du langage, l'opération de description retire toute ambiguïté à la spécification résultante. C'est un langage rapide à assimiler, basé sur une syntaxe relativement simple.
rdf:langString
Property Specification Language（特性仕様言語、PSL と略記）とは、ハードウェア設計におけるプロパティ（特性）や表明を記述する言語として標準化団体 が開発したものである。これにより、プロパティをシミュレートしたり形式的に検証したりできる。2004年9月から、IEEE 1850 ワーキンググループがこの標準化を行ってきた。2005年9月、IEEE 1850 Standard for Property Specification Language (PSL) が発表された。 Property Specification Language は以下のような複数のハードウェア記述言語で使われることを目指している:
* VHDL (IEEE 1076)
* Verilog (IEEE 1364)
* System Verilog (IEEE 1800)
* SystemC （OSCI）
rdf:langString
PSL (ang. Property Specification Language) jest językiem opisu właściwości układów i systemów elektronicznych, kontrolowanym przez standard IEEE Std. 1850.
rdf:langString
Die Property Specification Language (PSL; deutsch etwa Beschreibungssprache für Eigenschaften) wurde von 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.
* VHDL (IEEE 1076)
* Verilog (IEEE 1364)
* SystemVerilog (IEEE 1800)
* SystemC durch die OSCI
rdf:langString
Property Specification Language (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement of expressive power. PSL makes an extensive use of regular expressions and syntactic sugaring. It is widely used in the hardware design and verification industry, where formal verification tools (such as model checking) and/or logic simulation tools are used to prove or refute that a given PSL formula holds on a given design.
rdf:langString
rdf:langString
Property Specification Language
rdf:langString
Property Specification Language
rdf:langString
Property Specification Language
rdf:langString
Property Specification Language
rdf:langString
PSL (język opisu właściwości)
xsd:integer
762084
xsd:integer
1031222099
rdf:langString
Die Property Specification Language (PSL; deutsch etwa Beschreibungssprache für Eigenschaften) wurde von 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
rdf:langString
Property Specification Language (PSL) is a temporal logic extending linear temporal logic with a range of operators for both ease of expression and enhancement of expressive power. PSL makes an extensive use of regular expressions and syntactic sugaring. It is widely used in the hardware design and verification industry, where formal verification tools (such as model checking) and/or logic simulation tools are used to prove or refute that a given PSL formula holds on a given design. PSL was initially developed by Accellera for specifying properties or assertions about hardware designs. Since September 2004 the standardization on the language has been done in IEEE 1850 working group. In September 2005, the IEEE 1850 Standard for Property Specification Language (PSL) was announced.
rdf:langString
Le Property Specification Language (PSL) (en français : Langage de spécification par propriétés) est basé sur le langage Sugar d’IBM. Il a été approuvé par l’organisme Accellera en mai 2003, et par l’IEEE en septembre 2004. C'est un langage formel qui permet de réaliser une spécification matérielle à l'aide de propriétés et d'assertions. Du fait de la haute précision mathématique du langage, l'opération de description retire toute ambiguïté à la spécification résultante. C'est un langage rapide à assimiler, basé sur une syntaxe relativement simple.
rdf:langString
Property Specification Language（特性仕様言語、PSL と略記）とは、ハードウェア設計におけるプロパティ（特性）や表明を記述する言語として標準化団体 が開発したものである。これにより、プロパティをシミュレートしたり形式的に検証したりできる。2004年9月から、IEEE 1850 ワーキンググループがこの標準化を行ってきた。2005年9月、IEEE 1850 Standard for Property Specification Language (PSL) が発表された。 Property Specification Language は以下のような複数のハードウェア記述言語で使われることを目指している:
* VHDL (IEEE 1076)
* Verilog (IEEE 1364)
* System Verilog (IEEE 1800)
* SystemC （OSCI）
rdf:langString
PSL (ang. Property Specification Language) jest językiem opisu właściwości układów i systemów elektronicznych, kontrolowanym przez standard IEEE Std. 1850.
xsd:nonNegativeInteger
16796
