IEEE standard for property specification language (PSL)

Available format(s)

Hardcopy , PDF

Language(s)

English

Published date

08-31-2012

Publisher

British Standards Institution

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.

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.

Committee	EPL/501
DocumentType	Standard
Pages	188
PublisherName	British Standards Institution
Status	Current
Supersedes	BS IEC 62531:2007

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

View more information

US$426.44

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

BS IEC 62531:2012

IEEE standard for property specification language (PSL)

Table of Contents

Abstract

Scope

General Product Information

International Equivalents

Standards Referencing This Book

Category

Subcategory