Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Property_Specification_Language> ?p ?o }
Showing triples 1 to 66 of
66
with 100 triples per page.
- Property_Specification_Language abstract "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.".
- Property_Specification_Language thumbnail The_trigger_operator_-_slide_1.jpg?width=300.
- Property_Specification_Language wikiPageExternalLink pr_1850psl.html.
- Property_Specification_Language wikiPageExternalLink www.accellera.org.
- Property_Specification_Language wikiPageExternalLink EFHMV_ICALP03_full.pdf.
- Property_Specification_Language wikiPageExternalLink psl.
- Property_Specification_Language wikiPageExternalLink ieee-1850.
- Property_Specification_Language wikiPageExternalLink psl_tutorial_1.php.
- Property_Specification_Language wikiPageExternalLink cav49.pdf.
- Property_Specification_Language wikiPageExternalLink 978-0-387-35313-5.
- Property_Specification_Language wikiPageExternalLink psl_info.html.
- Property_Specification_Language wikiPageID "762084".
- Property_Specification_Language wikiPageLength "16822".
- Property_Specification_Language wikiPageOutDegree "27".
- Property_Specification_Language wikiPageRevisionID "690512991".
- Property_Specification_Language wikiPageWikiLink Accellera.
- Property_Specification_Language wikiPageWikiLink Assertion_(software_development).
- Property_Specification_Language wikiPageWikiLink Category:Formal_specification_languages.
- Property_Specification_Language wikiPageWikiLink Category:Hardware_verification_languages.
- Property_Specification_Language wikiPageWikiLink Category:IEC_standards.
- Property_Specification_Language wikiPageWikiLink Category:IEEE_DASC_standards.
- Property_Specification_Language wikiPageWikiLink Formal_verification.
- Property_Specification_Language wikiPageWikiLink Institute_of_Electrical_and_Electronics_Engineers.
- Property_Specification_Language wikiPageWikiLink Linear_temporal_logic.
- Property_Specification_Language wikiPageWikiLink Logic_simulation.
- Property_Specification_Language wikiPageWikiLink Model_checking.
- Property_Specification_Language wikiPageWikiLink Omega-regular_language.
- Property_Specification_Language wikiPageWikiLink Property_(philosophy).
- Property_Specification_Language wikiPageWikiLink Regular_expression.
- Property_Specification_Language wikiPageWikiLink Standardization.
- Property_Specification_Language wikiPageWikiLink SystemC.
- Property_Specification_Language wikiPageWikiLink SystemVerilog.
- Property_Specification_Language wikiPageWikiLink VHDL.
- Property_Specification_Language wikiPageWikiLink Verilog.
- Property_Specification_Language wikiPageWikiLink File:Multiple_clocks.jpg.
- Property_Specification_Language wikiPageWikiLink File:Need_for_multiple_clocks.jpg.
- Property_Specification_Language wikiPageWikiLink File:The_trigger_operator_-_slide_1.jpg.
- Property_Specification_Language wikiPageWikiLink File:The_trigger_operator_-_slide_2.jpg.
- Property_Specification_Language wikiPageWikiLink File:The_trigger_operator_-_slide_3.jpg.
- Property_Specification_Language wikiPageWikiLink File:The_trigger_operator_-_slide_4.jpg.
- Property_Specification_Language wikiPageWikiLinkText "PSL".
- Property_Specification_Language wikiPageWikiLinkText "Property Specification Language".
- Property_Specification_Language wikiPageWikiLinkText "Property specification language".
- Property_Specification_Language wikiPageUsesTemplate Template:Cite_book.
- Property_Specification_Language wikiPageUsesTemplate Template:Color.
- Property_Specification_Language wikiPageUsesTemplate Template:IEEE_standards.
- Property_Specification_Language wikiPageUsesTemplate Template:Programmable_Logic.
- 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 hypernym Logic.
- Property_Specification_Language type Language.
- Property_Specification_Language type Language.
- Property_Specification_Language comment "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.".
- Property_Specification_Language label "Property Specification Language".
- Property_Specification_Language sameAs Q751505.
- 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 wasDerivedFrom Property_Specification_Language?oldid=690512991.
- Property_Specification_Language depiction The_trigger_operator_-_slide_1.jpg.
- Property_Specification_Language isPrimaryTopicOf Property_Specification_Language.
