The previous portions of the book have focused on introductory and syntax aspects of e. However, it is important for a verification engineer to understand how to build a complete verification system with e. This portion of the book consists of two chapters. This chapter takes the reader through the complete verification process of a simple router design. Topics discussed are design specification, verification components, verification plan, and test plan. The next chapter completes the example with an explanation of the actual e code for each component required for the verification of the router design. Note that although a design from the networking domain has been chosen as an example, the principles of verification that are discussed also apply to other domains such as CPU, graphics, video, etc.
At the end of this portion the reader should be able to build a complete verification environment with e. The reader should be able to apply methodologies that maximize verification productivity. This section is a great reference for any engineer building a new verification environment or a new component in an existing verification environment.
Chapter Objectives
Describe the DUT specification.
Define variable data (struct) components.
Describe static (unit) verification components.
Understand the test scenarios to be executed.