IEEE 1850 : 2010
IEEE 1850 : 2010
PROPERTY SPECIFICATION LANGUAGE (PSL)
Institute of Electrical & Electronics Engineers
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
| Document Type | Standard |
| Status | Current |
| Publisher | Institute of Electrical & Electronics Engineers |
