Property Specification Language (PSL)

Available format(s)

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

Language(s)

English

Published date

06-21-2012

Publisher

International Electrotechnical Committee

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	IEC 62531:2007

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

View more information

US$493.00

Excluding Tax where applicable

Product format

I agree to the DRM document license rules apply against the PDF selection made.

Please confirm that you agree to the document license rules for this document.

I agree to the document license rules .

Please confirm that you agree to the document license rules for this document.

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.

Learn more on subscription solutions

Get in touch with us

Log into your Account

IEC 62531:2012

Current

Table of Contents

Abstract

General Product Information

International Equivalents

Standards Referenced By This Book

Standards Referencing This Book

Category

Subcategory

Access your standards online with a subscription