{"id":397264,"date":"2024-10-20T04:29:15","date_gmt":"2024-10-20T04:29:15","guid":{"rendered":"https:\/\/pdfstandards.shop\/product\/uncategorized\/ieee-1647-2008-2\/"},"modified":"2024-10-26T08:16:50","modified_gmt":"2024-10-26T08:16:50","slug":"ieee-1647-2008-2","status":"publish","type":"product","link":"https:\/\/pdfstandards.shop\/product\/publishers\/ieee\/ieee-1647-2008-2\/","title":{"rendered":"IEEE 1647-2008"},"content":{"rendered":"

Revision Standard – Superseded. The e functional verification language is an application-specific programming language, aimed at automating the task of verifying a hardware or software design with respect to its specification. Verification environments written in e provide a model of the environment in which the design is expected to function, including the kinds of erroneous conditions the design needs to withstand. A typical verification environment is capable of generating user-controlled test inputs with statistically interesting characteristics. Such an environment can check the validity of the design responses. Functional coverage metrics are used to control the verification effort and gauge the quality of the design. e verification environments can be used throughout the design cycle, from a high-level architectural model to a fully realized system. A definition of the e language syntax and semantics and how tool developers and verification engineers should use them are contained in this standard.<\/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\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\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
1<\/td>\nIEEE Std 1647-2008 (Revision of IEEE Std 1647-2006) IEEE Standard for the Functional Verification Language e
\n <\/td>\n<\/tr>\n
3<\/td>\nTitle page
\n <\/td>\n<\/tr>\n
6<\/td>\nIntroduction
\n <\/td>\n<\/tr>\n
7<\/td>\nNotice to users
\n
Laws and regulations
\n
Copyrights
\n
Updating of IEEE documents
\n
Errata
\n <\/td>\n<\/tr>\n
8<\/td>\nInterpretations
\n
Patents
\n
Participants
\n <\/td>\n<\/tr>\n
11<\/td>\nContents
\n <\/td>\n<\/tr>\n
17<\/td>\nImportant Notice
\n
1. Overview
1.1 Scope
1.2 Purpose <\/td>\n<\/tr>\n
18<\/td>\n1.3 Verification environments <\/td>\n<\/tr>\n
19<\/td>\n1.4 Basic concepts relating to this standard <\/td>\n<\/tr>\n
24<\/td>\n1.5 Conventions used <\/td>\n<\/tr>\n
26<\/td>\n1.6 Use of color in this standard
1.7 Contents of this standard <\/td>\n<\/tr>\n
29<\/td>\n2. Normative references
3. Definitions, acronyms, and abbreviations
3.1 Definitions <\/td>\n<\/tr>\n
31<\/td>\n3.2 Acronyms and abbreviations <\/td>\n<\/tr>\n
33<\/td>\n4. e basics
4.1 Lexical conventions <\/td>\n<\/tr>\n
40<\/td>\n4.2 Syntactic elements <\/td>\n<\/tr>\n
46<\/td>\n4.3 Struct hierarchy and name resolution <\/td>\n<\/tr>\n
52<\/td>\n4.4 Ranges <\/td>\n<\/tr>\n
53<\/td>\n4.5 Operator precedence <\/td>\n<\/tr>\n
54<\/td>\n4.6 Evaluation order of expressions
4.7 Bitwise operators <\/td>\n<\/tr>\n
56<\/td>\n4.8 Boolean operators <\/td>\n<\/tr>\n
58<\/td>\n4.9 Arithmetic operators <\/td>\n<\/tr>\n
59<\/td>\n4.10 Comparison operators <\/td>\n<\/tr>\n
63<\/td>\n4.11 String matching <\/td>\n<\/tr>\n
65<\/td>\n4.12 Extraction and concatenation operators <\/td>\n<\/tr>\n
69<\/td>\n4.13 Scalar modifiers <\/td>\n<\/tr>\n
70<\/td>\n4.14 Parentheses
4.15 list.method() <\/td>\n<\/tr>\n
71<\/td>\n4.16 Special-purpose operators <\/td>\n<\/tr>\n
75<\/td>\n5. Data types
5.1 e data types <\/td>\n<\/tr>\n
80<\/td>\n5.2 Untyped expressions <\/td>\n<\/tr>\n
81<\/td>\n5.3 Assignment rules <\/td>\n<\/tr>\n
84<\/td>\n5.4 Precision rules for numeric operations <\/td>\n<\/tr>\n
86<\/td>\n5.5 Automatic type casting
5.6 Defining and extending scalar types <\/td>\n<\/tr>\n
89<\/td>\n5.7 Type-related constructs <\/td>\n<\/tr>\n
95<\/td>\n6. Structs, subtypes, and fields
6.1 Structs overview
6.2 Defining structs: struct <\/td>\n<\/tr>\n
96<\/td>\n6.3 Extending structs: extend type <\/td>\n<\/tr>\n
97<\/td>\n6.4 Restrictions on inheritance
6.5 Extending subtypes
6.6 Creating subtypes with when <\/td>\n<\/tr>\n
99<\/td>\n6.7 Extending when subtypes <\/td>\n<\/tr>\n
100<\/td>\n6.8 Defining fields: field <\/td>\n<\/tr>\n
101<\/td>\n6.9 Defining list fields <\/td>\n<\/tr>\n
104<\/td>\n6.10 Projecting list of fields
6.11 Defining attribute fields <\/td>\n<\/tr>\n
107<\/td>\n7. Units
7.1 Overview <\/td>\n<\/tr>\n
109<\/td>\n7.2 Defining units and fields of type unit <\/td>\n<\/tr>\n
113<\/td>\n7.3 Unit attributes <\/td>\n<\/tr>\n
114<\/td>\n7.4 Predefined methods of any_unit <\/td>\n<\/tr>\n
116<\/td>\n7.5 Unit-related predefined methods of any_struct <\/td>\n<\/tr>\n
118<\/td>\n7.6 Unit-related predefined routines <\/td>\n<\/tr>\n
121<\/td>\n8. e ports
8.1 Introduction to e ports <\/td>\n<\/tr>\n
122<\/td>\n8.2 Using simple ports <\/td>\n<\/tr>\n
124<\/td>\n8.3 Using buffer ports <\/td>\n<\/tr>\n
125<\/td>\n8.4 Using event ports <\/td>\n<\/tr>\n
126<\/td>\n8.5 Using method ports <\/td>\n<\/tr>\n
128<\/td>\n8.6 Defining and referencing ports <\/td>\n<\/tr>\n
133<\/td>\n8.7 Port attributes <\/td>\n<\/tr>\n
146<\/td>\n8.8 Buffer port methods <\/td>\n<\/tr>\n
148<\/td>\n8.9 MVL methods for simple ports <\/td>\n<\/tr>\n
154<\/td>\n8.10 Global MVL routines <\/td>\n<\/tr>\n
157<\/td>\n8.11 Comparative analysis of ports and tick access <\/td>\n<\/tr>\n
159<\/td>\n9. Constraints and generation
9.1 Types of constraints
9.2 Generation concepts <\/td>\n<\/tr>\n
173<\/td>\n9.3 Defining constraints <\/td>\n<\/tr>\n
180<\/td>\n9.4 Invoking generation <\/td>\n<\/tr>\n
183<\/td>\n10. Events
10.1 Causes of events
10.2 Scope of events
10.3 Defining and emitting named events <\/td>\n<\/tr>\n
184<\/td>\n10.4 Predefined events <\/td>\n<\/tr>\n
187<\/td>\n11. Temporal expressions
11.1 Overview <\/td>\n<\/tr>\n
190<\/td>\n11.2 Temporal operators and constructs <\/td>\n<\/tr>\n
205<\/td>\n11.3 Success and failure of a temporal expression <\/td>\n<\/tr>\n
207<\/td>\n12. Temporal struct members
12.1 on <\/td>\n<\/tr>\n
208<\/td>\n12.2 expect | assume <\/td>\n<\/tr>\n
209<\/td>\n13. Time-consuming actions
13.1 Synchronization actions <\/td>\n<\/tr>\n
210<\/td>\n13.2 Concurrency actions <\/td>\n<\/tr>\n
212<\/td>\n13.3 State machines <\/td>\n<\/tr>\n
217<\/td>\n14. Coverage constructs
14.1 Defining coverage groups: cover <\/td>\n<\/tr>\n
219<\/td>\n14.2 Defining basic coverage items: item <\/td>\n<\/tr>\n
223<\/td>\n14.3 Defining cross coverage items: cross <\/td>\n<\/tr>\n
225<\/td>\n14.4 Defining transition coverage items: transition <\/td>\n<\/tr>\n
227<\/td>\n14.5 Extending coverage groups: cover … using also … is also <\/td>\n<\/tr>\n
228<\/td>\n14.6 Extending coverage items: item … using also
14.7 Coverage API <\/td>\n<\/tr>\n
233<\/td>\n14.8 Coverage methods for the covers struct <\/td>\n<\/tr>\n
239<\/td>\n15. Macros
15.1 Syntax overview
15.2 Defining a macro <\/td>\n<\/tr>\n
240<\/td>\n15.3 Match expression structure <\/td>\n<\/tr>\n
241<\/td>\n15.4 Interpretation of match expressions <\/td>\n<\/tr>\n
242<\/td>\n15.5 Replacement code <\/td>\n<\/tr>\n
245<\/td>\n16. Print, checks, and error handling
16.1 print
16.2 Handling DUT errors <\/td>\n<\/tr>\n
249<\/td>\n16.3 Handling user errors <\/td>\n<\/tr>\n
251<\/td>\n16.4 Handling programming errors: assert <\/td>\n<\/tr>\n
253<\/td>\n17. Methods
17.1 Rules for defining and extending methods <\/td>\n<\/tr>\n
261<\/td>\n17.2 Invoking methods <\/td>\n<\/tr>\n
264<\/td>\n17.3 Parameter passing <\/td>\n<\/tr>\n
266<\/td>\n17.4 Using the C interface <\/td>\n<\/tr>\n
269<\/td>\n18. Creating and modifying e variables
18.1 About e variables
18.2 var <\/td>\n<\/tr>\n
270<\/td>\n18.3 =
18.4 op= <\/td>\n<\/tr>\n
271<\/td>\n18.5 <= <\/td>\n<\/tr>\n
273<\/td>\n19. Packing and unpacking
19.1 Basic packing <\/td>\n<\/tr>\n
276<\/td>\n19.2 Predefined pack options <\/td>\n<\/tr>\n
277<\/td>\n19.3 Customizing pack options
19.4 Packing and unpacking specific types <\/td>\n<\/tr>\n
282<\/td>\n19.5 Implicit packing and unpacking <\/td>\n<\/tr>\n
285<\/td>\n20. Control flow actions
20.1 Conditional actions <\/td>\n<\/tr>\n
287<\/td>\n20.2 Iterative actions <\/td>\n<\/tr>\n
291<\/td>\n20.3 File iteration actions <\/td>\n<\/tr>\n
292<\/td>\n20.4 Actions for controlling the program flow <\/td>\n<\/tr>\n
295<\/td>\n21. Importing and preprocessor directives
21.1 Importing e modules <\/td>\n<\/tr>\n
296<\/td>\n21.2 #ifdef, #ifndef <\/td>\n<\/tr>\n
297<\/td>\n21.3 #define <\/td>\n<\/tr>\n
298<\/td>\n21.4 #undef <\/td>\n<\/tr>\n
299<\/td>\n22. Encapsulation constructs
22.1 package: package-name
22.2 package: type-declaration <\/td>\n<\/tr>\n
300<\/td>\n22.3 package | protected | private: struct-member <\/td>\n<\/tr>\n
301<\/td>\n22.4 Scope operator (::) <\/td>\n<\/tr>\n
303<\/td>\n23. Simulation-related constructs
23.1 force
23.2 release <\/td>\n<\/tr>\n
304<\/td>\n23.3 Tick access: ‘hdl-pathname’
23.4 simulator_command() <\/td>\n<\/tr>\n
305<\/td>\n23.5 stop_run() <\/td>\n<\/tr>\n
307<\/td>\n24. Messages
24.1 Overview
24.2 The message model <\/td>\n<\/tr>\n
308<\/td>\n24.3 message and messagef <\/td>\n<\/tr>\n
310<\/td>\n24.4 Message loggers <\/td>\n<\/tr>\n
311<\/td>\n24.5 Configuring message loggers with constraints <\/td>\n<\/tr>\n
312<\/td>\n24.6 Messaging procedural interface (PI) <\/td>\n<\/tr>\n
320<\/td>\n24.7 Examples <\/td>\n<\/tr>\n
323<\/td>\n25. Sequences
25.1 Overview <\/td>\n<\/tr>\n
325<\/td>\n25.2 Sequence statement <\/td>\n<\/tr>\n
327<\/td>\n25.3 do sequence action <\/td>\n<\/tr>\n
328<\/td>\n25.4 Sequence struct types and members <\/td>\n<\/tr>\n
333<\/td>\n25.5 BFM-driver-sequence flow diagrams <\/td>\n<\/tr>\n
337<\/td>\n26. List pseudo-methods library
26.1 Pseudo-methods overview
26.2 Using list pseudo-methods
26.3 Pseudo-methods to modify lists <\/td>\n<\/tr>\n
346<\/td>\n26.4 General list pseudo-methods <\/td>\n<\/tr>\n
360<\/td>\n26.5 Math and logic pseudo-methods <\/td>\n<\/tr>\n
362<\/td>\n26.6 List CRC pseudo-methods <\/td>\n<\/tr>\n
364<\/td>\n26.7 Keyed list pseudo-methods <\/td>\n<\/tr>\n
367<\/td>\n27. Predefined methods library
27.1 Predefined methods of sys
27.2 Predefined methods of any_struct <\/td>\n<\/tr>\n
370<\/td>\n27.3 Methods and predefined attributes of unit any_unit
27.4 Pseudo-methods <\/td>\n<\/tr>\n
372<\/td>\n27.5 Coverage methods <\/td>\n<\/tr>\n
373<\/td>\n28. Predefined routines library
28.1 Deep copy and compare routines <\/td>\n<\/tr>\n
376<\/td>\n28.2 Arithmetic routines <\/td>\n<\/tr>\n
380<\/td>\n28.3 bitwise_op() <\/td>\n<\/tr>\n
381<\/td>\n28.4 get_all_units()
28.5 String routines <\/td>\n<\/tr>\n
389<\/td>\n28.6 Output routines <\/td>\n<\/tr>\n
391<\/td>\n28.7 Operating system interface routines <\/td>\n<\/tr>\n
394<\/td>\n28.8 set_config() <\/td>\n<\/tr>\n
395<\/td>\n29. Predefined file routines library
29.1 File names and search paths
29.2 File handles
29.3 Low-level file methods <\/td>\n<\/tr>\n
400<\/td>\n29.4 General file routines <\/td>\n<\/tr>\n
406<\/td>\n29.5 Reading and writing structs <\/td>\n<\/tr>\n
411<\/td>\n30. Reflection API
30.1 Introduction <\/td>\n<\/tr>\n
412<\/td>\n30.2 Type information <\/td>\n<\/tr>\n
419<\/td>\n30.3 Aspect information <\/td>\n<\/tr>\n
424<\/td>\n30.4 Value query and manipulation <\/td>\n<\/tr>\n
429<\/td>\n31. Predefined resource sharing control structs
31.1 Semaphore methods <\/td>\n<\/tr>\n
430<\/td>\n31.2 How to use the semaphore struct <\/td>\n<\/tr>\n
435<\/td>\nAnnex A (informative) Bibliography
\n <\/td>\n<\/tr>\n
437<\/td>\nAnnex B (normative) Source code serialization
\n <\/td>\n<\/tr>\n
445<\/td>\nAnnex C (informative) Comparison of when and like inheritance
\n <\/td>\n<\/tr>\n
453<\/td>\nAnnex D (normative) Name spaces
\n <\/td>\n<\/tr>\n
461<\/td>\nAnnex E (informative) Reflection API examples
\n <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

IEEE Standard for the Functional Verification Language e<\/b><\/p>\n\n\n\n\n
Published By<\/td>\nPublication Date<\/td>\nNumber of Pages<\/td>\n<\/tr>\n
IEEE<\/b><\/a><\/td>\n2008<\/td>\n464<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"featured_media":397270,"template":"","meta":{"rank_math_lock_modified_date":false,"ep_exclude_from_search":false},"product_cat":[2644],"product_tag":[],"class_list":{"0":"post-397264","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-ieee","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\/397264","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\/397270"}],"wp:attachment":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media?parent=397264"}],"wp:term":[{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_cat?post=397264"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_tag?post=397264"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}