1850-2010 IEEE Standard for Property Specification Language (PSL)

1850-2010 IEEE Standard for Property Specification Language (PSL)

Description

Book description.

Table of contents

IEEE Std 1850-2010 cover page......Page 1
IEEE Std 1850-2010 title page......Page 2
Errata......Page 5
Participants......Page 6
Contents......Page 10
1.2 Purpose......Page 12
1.3 Usage......Page 13
1.3.2 Functional verification......Page 14
2. Normative references......Page 18
3.1 Definitions......Page 20
0.2 Special terms......Page 23
4.1.2 Flavors......Page 26
4.2.2 Keywords......Page 27
4.2.3 Operators......Page 28
4.2.4 Macros......Page 33
4.3.1 Conventions......Page 35
4.3.2 HDL dependencies......Page 36
4.4.1 Clocked vs. unclocked evaluation......Page 40
4.4.4 Simple subset......Page 41
4.4.6 The concept of strength......Page 42
5.1.1 Bit expressions......Page 44
5.1.2 Boolean expressions......Page 45
5.1.4 Numeric expressions......Page 46
5.2.1 HDL expressions......Page 47
5.2.3 Built-in functions......Page 50
5.3 Clock expressions......Page 56
5.4 Default clock declaration......Page 58
6. Temporal layer......Page 60
6.1.1 Sequential Extended Regular Expressions (SEREs)......Page 61
6.1.2 Sequences......Page 68
6.2.1 FL properties......Page 74
6.2.2 Optional Branching Extension (OBE) properties......Page 95
6.2.3 Replicated properties......Page 101
6.3 Local variables......Page 104
6.4 Procedural blocks......Page 108
6.5 Property and sequence declarations......Page 114
6.5.1 Parameters......Page 115
6.5.2 Declarations......Page 117
6.5.3 Instantiation......Page 118
7.1.1 assert......Page 122
7.1.2 assume......Page 123
7.1.4 restrict!......Page 124
7.1.5 cover......Page 126
7.1.6 fairness and strong_fairness......Page 127
7.2 Verification units......Page 128
7.2.2 Verification unit instantiation......Page 132
7.2.3 Verification unit inheritance......Page 133
7.2.4 Overriding assignments......Page 135
8.1 Integer ranges......Page 140
8.2 Structures......Page 141
9.2 Extended scope......Page 142
9.3 Direct and indirect name references......Page 143
A.1 Conventions......Page 146
A.3 HDL dependencies......Page 147
A.3.1 Verilog extensions......Page 148
A.3.2 Flavor macros......Page 149
A.4.1 Verification units......Page 151
A.4.2 PSL declarations......Page 152
A.4.4 PSL properties......Page 153
A.4.5 Sequential Extended Regular Expressions (SEREs)......Page 155
A.4.7 Sequences......Page 156
A.4.8 Forms of expression......Page 157
A.4.9 Optional Branching Extension......Page 158
Annex B (normative) Formal Syntax and Semantics of IEEE Std 1850 Property Specification Language (PSL)......Page 160
Annex C (informative) Bibliography......Page 178
Index......Page 180

Details

  • Publication Date: 2010
  • Publisher: IEEE
  • ISBN-13: 9780738162553
  • Pages: 182
  • Format: pdf
  • Size: 1.6M
Download Now Magnet