Timing and synchronization are very important when e and HDL processes communicate with each other. The e language provides temporal (timing) constructs for specifying and verifying behavior over time. Most e temporal language features depend on the occurrence of events, which are used to synchronize activity with a simulator. The temporal language is the basis for capturing the behavior over time for synchronizing with the DUT, protocol checking, and functional coverage. This chapter discusses the e temporal language.
Chapter Objectives
Describe event definition.
Explain emission of events.
Understand temporal operators.
Describe different types of temporal expressions.