• There are no items in your cart

IEC 62531:2012

Current

Current

The latest, up-to-date edition.

Property Specification Language (PSL)

Available format(s)

Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users

Language(s)

English

Published date

21-06-2012

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) - List of IEEE Participants

IEC 62531:2012(E) 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. This second edition cancels and replaces the first edition, published in 2007, and constitutes a technical revision.

Committee
TC 91
DevelopmentNote
Also numbered as IEEE 1850. (06/2012) Stability Date: 2020. (12/2017)
DocumentType
Standard
Pages
174
PublisherName
International Electrotechnical Committee
Status
Current
Supersedes

Standards Relationship
NEN IEC 62531 : 2012 Identical
BS IEC 62531:2012 Identical

BS IEC 61691-1-1:2011 Behavioural languages VHDL Language reference manual
IEC TS 62933-5-1:2017 Electrical energy storage (EES) systems - Part 5-1: Safety considerations for grid-integrated EES systems - General specification
16/30351274 DC : 0 BS EN 62933-5-1 - ELECTRICAL ENERGY STORAGE (ESS) SYSTEMS - PART 5-1: SAFETY CONSIDERATIONS RELATED TO GRID INTEGRATED ELECTRICAL ENERGY STORAGE (EES) SYSTEMS
IEC 61691-1-1:2011 Behavioural languages - Part 1-1: VHDL Language Reference Manual

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

€441.85
Excluding VAT

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.