The purpose of defining structs and units is to build a verification hierarchy. To interact with the device under test, procedures are required to drive and sample the signals at the appropriate time. Procedures are also required to create interfaces, compute values, and act upon the fields of a struct or unit. This chapter discusses procedural flow control in e. Note that, unlike a verification environment implemented in an HDL, an e verification environment is largely declarative. Procedural code is found primarily in bus functional models and scoreboards.
Chapter Objectives
Describe methods and invocation of methods.
Explain local variables.
Explain conditional actions such as if-else and case.
Describe loops such as while, for, repeat, for each loop.
Understand predefined actions and methods such as outf, out, pack, and unpack.