Large-scale systems contain many elements of all different sorts—buses, bridges, processors, memories, special purpose slaves, and so forth. Each of these needs to be verified independently, and then all must be brought together and verified as a system. In this chapter, we explore block-level and system-level verification and how to share testbench components between them.

A single block can be any component of arbitrary complexity. It can be a simple adder or a complete DSP subsystem. The concept of a block is a design component that will become part of a larger system. When the block is integrated into a larger system, it’s important to not lose the work done in building the block-level testbench. By reusing as many testbench elements as possible, you save the time of having to rewrite them. Also, results from the block-level tests can be verified again at the system level.


Safety Valve Memory Sequence Print Statement Generation Compiler Simple Adder 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York 2009

Authors and Affiliations

  1. 1.Mentor Graphics CorporationWilsonvilleUSA

Personalised recommendations