The previous 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. This 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 chapter the reader should understand how to build a complete verification environment with e. The reader should be able to apply methodologies that maximize verification productivity.
Chapter Objectives
Describe the e code for variable data (struct) components.
Understand the e code for static (unit) verification components.
Write the e code for the test scenarios to be executed.
Explain how to put the e code together to run the simulation.