{"id":420046,"date":"2024-10-20T06:29:02","date_gmt":"2024-10-20T06:29:02","guid":{"rendered":"https:\/\/pdfstandards.shop\/product\/uncategorized\/bs-iec-625312012-2\/"},"modified":"2024-10-26T12:07:20","modified_gmt":"2024-10-26T12:07:20","slug":"bs-iec-625312012-2","status":"publish","type":"product","link":"https:\/\/pdfstandards.shop\/product\/publishers\/bsi\/bs-iec-625312012-2\/","title":{"rendered":"BS IEC 62531:2012"},"content":{"rendered":"

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.<\/p>\n

PDF Catalog<\/h4>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
PDF Pages<\/th>\nPDF Title<\/th>\n<\/tr>\n
4<\/td>\nCONTENTS
Contents <\/td>\n<\/tr>\n
10<\/td>\nIntroduction
Notice to users
Laws and regulations
Copyrights
Updating of IEEE documents
Errata <\/td>\n<\/tr>\n
11<\/td>\nInterpretations
Patents
Participants <\/td>\n<\/tr>\n
12<\/td>\n1. Overview
1.1 Scope
1.2 Purpose <\/td>\n<\/tr>\n
13<\/td>\n1.2.1 Background
1.2.2 Motivation
1.2.3 Goals
1.3 Usage <\/td>\n<\/tr>\n
14<\/td>\n1.3.1 Functional specification
1.3.2 Functional verification <\/td>\n<\/tr>\n
18<\/td>\n2. Normative references <\/td>\n<\/tr>\n
20<\/td>\n3. Definitions, acronyms, and abbreviations
3.1 Definitions <\/td>\n<\/tr>\n
23<\/td>\n3.2 Acronyms and abbreviations
3.3 Special terms <\/td>\n<\/tr>\n
26<\/td>\n4. Organization
4.1 Abstract structure
4.1.1 Layers
4.1.2 Flavors <\/td>\n<\/tr>\n
27<\/td>\n4.2 Lexical structure
4.2.1 Identifiers
4.2.2 Keywords <\/td>\n<\/tr>\n
28<\/td>\n4.2.3 Operators <\/td>\n<\/tr>\n
33<\/td>\n4.2.4 Macros <\/td>\n<\/tr>\n
35<\/td>\n4.2.5 Comments
4.3 Syntax
4.3.1 Conventions <\/td>\n<\/tr>\n
36<\/td>\n4.3.2 HDL dependencies <\/td>\n<\/tr>\n
40<\/td>\n4.4 Semantics
4.4.1 Clocked vs. unclocked evaluation <\/td>\n<\/tr>\n
41<\/td>\n4.4.2 Safety vs. liveness properties
4.4.3 Linear vs. branching logic
4.4.4 Simple subset <\/td>\n<\/tr>\n
42<\/td>\n4.4.5 Finite-length vs. infinite-length behavior
4.4.6 The concept of strength <\/td>\n<\/tr>\n
44<\/td>\n5. Boolean layer
5.1 Expression type classes
5.1.1 Bit expressions <\/td>\n<\/tr>\n
45<\/td>\n5.1.2 Boolean expressions <\/td>\n<\/tr>\n
46<\/td>\n5.1.3 BitVector expressions
5.1.4 Numeric expressions <\/td>\n<\/tr>\n
47<\/td>\n5.1.5 String expressions
5.2 Expression forms
5.2.1 HDL expressions <\/td>\n<\/tr>\n
50<\/td>\n5.2.2 PSL expressions
5.2.3 Built-in functions <\/td>\n<\/tr>\n
56<\/td>\n5.2.4 Union expressions
5.3 Clock expressions <\/td>\n<\/tr>\n
58<\/td>\n5.4 Default clock declaration <\/td>\n<\/tr>\n
60<\/td>\n6. Temporal layer <\/td>\n<\/tr>\n
61<\/td>\n6.1 Sequential expressions
6.1.1 Sequential Extended Regular Expressions (SEREs) <\/td>\n<\/tr>\n
68<\/td>\n6.1.2 Sequences <\/td>\n<\/tr>\n
74<\/td>\n6.2 Properties
6.2.1 FL properties <\/td>\n<\/tr>\n
95<\/td>\n6.2.2 Optional Branching Extension (OBE) properties <\/td>\n<\/tr>\n
101<\/td>\n6.2.3 Replicated properties <\/td>\n<\/tr>\n
104<\/td>\n6.3 Local variables <\/td>\n<\/tr>\n
108<\/td>\n6.4 Procedural blocks <\/td>\n<\/tr>\n
114<\/td>\n6.5 Property and sequence declarations <\/td>\n<\/tr>\n
115<\/td>\n6.5.1 Parameters <\/td>\n<\/tr>\n
117<\/td>\n6.5.2 Declarations <\/td>\n<\/tr>\n
118<\/td>\n6.5.3 Instantiation <\/td>\n<\/tr>\n
122<\/td>\n7. Verification layer
7.1 Verification directives
7.1.1 assert <\/td>\n<\/tr>\n
123<\/td>\n7.1.2 assume <\/td>\n<\/tr>\n
124<\/td>\n7.1.3 restrict
7.1.4 restrict! <\/td>\n<\/tr>\n
126<\/td>\n7.1.5 cover <\/td>\n<\/tr>\n
127<\/td>\n7.1.6 fairness and strong_fairness <\/td>\n<\/tr>\n
128<\/td>\n7.2 Verification units <\/td>\n<\/tr>\n
132<\/td>\n7.2.1 Verification unit binding
7.2.2 Verification unit instantiation <\/td>\n<\/tr>\n
133<\/td>\n7.2.3 Verification unit inheritance <\/td>\n<\/tr>\n
135<\/td>\n7.2.4 Overriding assignments <\/td>\n<\/tr>\n
140<\/td>\n8. Modeling layer
8.1 Integer ranges <\/td>\n<\/tr>\n
141<\/td>\n8.2 Structures <\/td>\n<\/tr>\n
142<\/td>\n9. Scope and visibility rules
9.1 Immediate scope
9.2 Extended scope <\/td>\n<\/tr>\n
143<\/td>\n9.3 Direct and indirect name references <\/td>\n<\/tr>\n
146<\/td>\nAnnex A (normative) Syntax rule summary
A.1 Conventions <\/td>\n<\/tr>\n
147<\/td>\nA.2 Tokens
A.3 HDL dependencies <\/td>\n<\/tr>\n
148<\/td>\nA.3.1 Verilog extensions <\/td>\n<\/tr>\n
149<\/td>\nA.3.2 Flavor macros <\/td>\n<\/tr>\n
151<\/td>\nA.4 Syntax productions
A.4.1 Verification units <\/td>\n<\/tr>\n
152<\/td>\nA.4.2 PSL declarations <\/td>\n<\/tr>\n
153<\/td>\nA.4.3 PSL directives
A.4.4 PSL properties <\/td>\n<\/tr>\n
155<\/td>\nA.4.5 Sequential Extended Regular Expressions (SEREs) <\/td>\n<\/tr>\n
156<\/td>\nA.4.6 Parameterized Properties and SEREs
A.4.7 Sequences <\/td>\n<\/tr>\n
157<\/td>\nA.4.8 Forms of expression <\/td>\n<\/tr>\n
158<\/td>\nA.4.9 Optional Branching Extension <\/td>\n<\/tr>\n
160<\/td>\nAnnex B (normative) Formal Syntax and Semantics of IEEE Std 1850 Property Specification Language (PSL) <\/td>\n<\/tr>\n
178<\/td>\nAnnex C (informative) Bibliography <\/td>\n<\/tr>\n
183<\/td>\nIndex <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

IEEE standard for property specification language (PSL)<\/b><\/p>\n\n\n\n\n
Published By<\/td>\nPublication Date<\/td>\nNumber of Pages<\/td>\n<\/tr>\n
BSI<\/b><\/a><\/td>\n2012<\/td>\n188<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"featured_media":420055,"template":"","meta":{"rank_math_lock_modified_date":false,"ep_exclude_from_search":false},"product_cat":[2641],"product_tag":[],"class_list":{"0":"post-420046","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-bsi","8":"first","9":"instock","10":"sold-individually","11":"shipping-taxable","12":"purchasable","13":"product-type-simple"},"_links":{"self":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product\/420046","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/types\/product"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media\/420055"}],"wp:attachment":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media?parent=420046"}],"wp:term":[{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_cat?post=420046"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_tag?post=420046"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}