The e source code for all components of the router verification environment was discussed.
The verification environment consists of data object (struct packet), driver object (unit sbt_driver), receiver object (unit sbt_receiver), data checker object (unit sbt_scoreboard), monitor object (extend of unit sbt_driver and unit sbt_receiver), coverage object (unit sbt_dut_cover), and environment object (unit sbt_env).
A typical test plan covers all possible test scenarios for a DUT. In this chapter, we have only discussed two simple test scenarios. Tests in e are very simple constraint files.
Using the concepts in this chapter, a reader can build more complex verification environments.