Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,524 papers from all fields of science
Search
Sign In
Create Free Account
Property Specification Language
Known as:
PSL
Property Specification Language (PSL) is a temporal logic extending Linear temporal logic with a range of operators for both ease of expression and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Electronic system-level design and verification
Formal verification
Hardware description language
Hardware verification language
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Devise and establishment of property specification language to verify the complex behaviour of FPGA Ethernet IP core
P. Karthik
,
K. Suresh
IEEE International Conference on Recent Trends in…
2016
Corpus ID: 16931434
FPGA Ethernet IP cores are widely used in the all Aerospace and defense communication systems. If the IP core fails to function…
Expand
2013
2013
LGI2P- Laboratoire de Génie Informatique et d’Ingénierie de Production, Parc scientifique Georges
2013
Corpus ID: 236149295
2013
2013
Improved model generation and property specification for analog/mixed-signal circuits
Dhanashree R. Kulkarni
2013
Corpus ID: 113057894
This document describes an improved method of formal verification of complex analog/mixed-signal (AMS) circuits. Currently, in…
Expand
2012
2012
Experimental characterization of aerosol flow through micro-capillaries
Michael Robinson
2012
Corpus ID: 54980864
...................................................................................................................... iii…
Expand
2007
2007
High level reduction technique for multiway decision graphs based model checking
G. A. Sammane
,
Sa'ed Abed
,
O. Mohamed
2007
Corpus ID: 14183708
Multiway Decision Graphs (MDGs) represent and manipulate a subset of first-order logic formulae suitable for model checking of…
Expand
2007
2007
oXPDL : a Process Model Exchange Ontology
A. Haller
,
Mateusz Marmolowski
,
E. Oren
,
Walid Gaaloul
2007
Corpus ID: 17463874
This paper presents oXPDL, a process interchange ontology based on the standardised XML Process Definition Language (XPDL). XPDL…
Expand
2006
2006
Behavioral synthesis with SystemC and PSL assertions for interface specification
G. Economakos
IEEE International Symposium on Circuits and…
2006
Corpus ID: 23057138
Behavioral synthesis of digital circuits offers an effective way to deal with the increasing complexity of hardware design. Even…
Expand
2006
2006
Detection Characteristics of Irradiated Aloe vera by the Analysis of PSL, TL and ESR
Byeong-Keun Kim
,
Sang-Yong Lim
,
Hyun-Pa Song
,
Hyejeong Yun
,
J. Kwon
,
Dong-Ho Kim
2006
Corpus ID: 92727531
Photostimulated luminescence (PSL), thermoluminescence(TL) and electron spin resonance (ESR) analyses were conducted to detect…
Expand
2005
2005
A Property Specification Language for Workflow Diagnostics
Ella E. Roubtsova
International Conference on Enterprise…
2005
Corpus ID: 4681156
The paper presents a declarative language for workflow property specification. The language has been developed to help analysts…
Expand
1997
1997
A graphical property specification language
Insup Lee
,
O. Sokolsky
Proceedings High-Assurance Engineering Workshop
1997
Corpus ID: 58506328
Presents a language for the specification of high-level properties of real-time systems. The language is based on a temporal…
Expand