Automatic checking is a very important aspect of verification with e. There are two types of checks, data checks and temporal checks. For a good methodology, it is recommended that checks must also be separated from the drivers and test scenarios. The e language provides many constructs to facilitate checking. This chapter discusses the e constructs to perform checks.
Chapter Objectives
Describe pack() and unpack() methods.
Describe physical and virtual fields.
Describe comparison of two structs.
Explain the check that construct.
Describe dut_error() method.
Understand how to set check failure effects.
Explain temporal checking with the expect and on struct members.