Table of Contents

1. Overview
2. Normative references
3. Definitions, acronyms, and abbreviations
4. e basics
5. Data types
6. Structs, subtypes, and fields
7. Units
8. Template types
9. e ports
10. Constraints and generation
11. Temporal struct members
12. Temporal expressions
13. Time-consuming actions
14. Coverage constructs
15. Macros
16. Print, checks, and error handling
17. Methods
18. Creating and modifying e variables
19. Packing and unpacking
20. Control flow actions
21. Importing and preprocessor directives
22. Encapsulation constructs
23. Simulation-related constructs
24. Messages
25. Sequences
26. List pseudo-methods library
27. Predefined methods library
28. Predefined routines library
29. Predefined file routines library
30. Reflection API
31. Predefined resource sharing control structs
32. Intellectual property protection
Annex A (informative) - Bibliography
Annex B (normative) - Source code serialization
Annex C (informative) - Comparison of when and like
        inheritance
Annex D (normative) - Name spaces
Annex E (informative) - Reflection API examples
Annex F (informative) - Encryption targets

Abstract

Specifies the e functional verification language.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	Institute of Electrical & Electronics Engineers
Pages
ISBN
Supersedes	IEEE DRAFT 1647 : 0