ASIC and FPGA verification : a quide to component modeling - Munden, Richard. (Elsevier, 2005)
Includes index