IEC 62531 : 2.0

Table of Contents

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

Abstract

Describes the property specification language (PSL), which formally describes electronic system behavior.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	International Electrotechnical Committee
Pages
ISBN
Committee	TC 93