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
Index

Abstract

Describes the property specification language (PSL), which formally describes electronic system behavior. It also specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	Institute of Electrical & Electronics Engineers
Pages
ISBN