Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Property_Specification_Language> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Property_Specification_Language abstract "Property Specification Language (PSL) is a language developed by Accellera for specifying properties or assertions about hardware designs. The properties can then be functionally verified via logic simulation or formal verification. 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.Property Specification Language aims to be used with multiple electronic system design languages (HDLs) such as: VHDL (IEEE 1076), Verilog (IEEE 1364), SystemVerilog (IEEE 1800), and SystemC (IEEE 1666) by Open SystemC Initiative (OSCI).PSL is a declarative language used to express temporal properties of the design. For instance, PSL can express the property "a request should always be granted within five cycles unless an abort signal was issued". Formal verification tools (such as model checking) can be used to prove or refute that a given PSL formula holds on a given design.PSL is defined in 4 layers: the Boolean layer, the temporal layer, the modeling layer and the verification layer. The Boolean layer is used for describing a current state of the design and is phrased using one of the above mentioned HDLs. The temporal layer consists of the temporal operators used to describe scenarios that span over time (possibly over an unbounded number of time units). The modeling layer can be used to describe auxiliary state machines in a procedural manner. The verification layer consists of directives to a verification tool (for instance to assert that a given property is correct or to assume that a certain set of properties is correct when verifying another set of properties).PSL subsumes the temporal logic LTL and extends its expressive power to that of the omega-regular languages. PSL makes an extensive use of regular expressions and syntactic sugaring. The augmentation in expressive power, compared to that of LTL which has the expressive power of the star-free ω-regular expressions, can be attributed to the suffix implication, a.k.a triggers operator, denoted "|->". The formula r |-> f where r is a regular expression and f is a temporal logic formula holds on a computation w if any prefix of w matching r has a continuation satisfying f. Other non-LTL operators of PSL are the @ operator, for specifying multiply-clocked designs, the abort operators, for dealing with hardware resets, and local variables for succinctness.".
- Property_Specification_Language wikiPageExternalLink pr_1850psl.html.
- Property_Specification_Language wikiPageExternalLink www.accellera.org.
- Property_Specification_Language wikiPageExternalLink psl.
- Property_Specification_Language wikiPageExternalLink ieee-1850.
- Property_Specification_Language wikiPageExternalLink psl_tutorial_1.php.
- Property_Specification_Language wikiPageExternalLink 978-0-387-35313-5.
- Property_Specification_Language wikiPageExternalLink psl_info.html.
- Property_Specification_Language wikiPageID "762084".
- Property_Specification_Language wikiPageRevisionID "591135991".
- Property_Specification_Language hasPhotoCollection Property_Specification_Language.
- Property_Specification_Language subject Category:Formal_specification_languages.
- Property_Specification_Language subject Category:Hardware_verification_languages.
- Property_Specification_Language subject Category:IEC_standards.
- Property_Specification_Language subject Category:IEEE_DASC_standards.
- Property_Specification_Language type Abstraction100002137.
- Property_Specification_Language type Communication100033020.
- Property_Specification_Language type FormalSpecificationLanguages.
- Property_Specification_Language type HardwareVerificationLanguages.
- Property_Specification_Language type Language106282651.
- Property_Specification_Language comment "Property Specification Language (PSL) is a language developed by Accellera for specifying properties or assertions about hardware designs. The properties can then be functionally verified via logic simulation or formal verification. Since September 2004 the standardization on the language has been done in IEEE 1850 working group.".
- Property_Specification_Language label "PSL (język opisu właściwości)".
- Property_Specification_Language label "Property Specification Language".
- Property_Specification_Language label "Property Specification Language".
- Property_Specification_Language label "Property Specification Language".
- Property_Specification_Language label "Property Specification Language".
- Property_Specification_Language sameAs Property_Specification_Language.
- Property_Specification_Language sameAs Property_Specification_Language.
- Property_Specification_Language sameAs Property_Specification_Language.
- Property_Specification_Language sameAs PSL_(język_opisu_właściwości).
- Property_Specification_Language sameAs m.0398fx.
- Property_Specification_Language sameAs Q751505.
- Property_Specification_Language sameAs Q751505.
- Property_Specification_Language sameAs Property_Specification_Language.
- Property_Specification_Language wasDerivedFrom Property_Specification_Language?oldid=591135991.
- Property_Specification_Language isPrimaryTopicOf Property_Specification_Language.