BS IEC 62531:2012
Current
The latest, up-to-date edition.
IEEE standard for property specification language (PSL)
Hardcopy , PDF
English
31-08-2012
Important note : Users cannot be edited or removed once added to your Multi user PDF.
1. Overview
2. Normative references
3. Definitions, acronyms, and abbreviations
4. Organization
5. Boolean layer
6. Temporal layer
7. Verification layer
8. Modeling layer
9. Scope and visibility rules
Annex A (normative) - Syntax rule summary
Annex B (normative) - Formal Syntax and Semantics
of IEEE Std 1850 Property Specification
Language (PSL)
Annex C (informative) - Bibliography
Annex D (informative) - IEEE List of Participants
Specifies the property specification language (PSL), which formally describes electronic system behavior.
| Committee |
EPL/501
|
| DocumentType |
Standard
|
| Pages |
188
|
| PublisherName |
British Standards Institution
|
| Status |
Current
|
| Supersedes |
This standard defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages.
| Standards | Relationship |
| IEC 62531:2012 | Identical |
| IEEE 1800-2012 | IEEE Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language |
| IEEE 1076.6-2004 | IEEE Standard for VHDL Register Transfer Level (RTL) Synthesis |
| IEEE 1364-2005 | IEEE Standard for Verilog Hardware Description Language |
| IEC 62142:2005 | Verilog (R) register transfer level synthesis |
| IEEE 1076-2008 REDLINE | IEEE Standard VHDL Language Reference Manual |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.