ASIC and FPGA verification a guide to component modeling - Munden, Richard (Elsevier, Morgan Kaufmann, 2005)
Includes index.