Demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. This book illustrates how ASICs and FPGAs can be verified in the larger context of a board or a system.