ASIC and FPGA verification : a guide to component modeling - Munden, Richard (The Morgan Kaufmann Series in Systems on Silicon / series editor Wayne Wolf, Georgia Institute of Technology, 2005)