ASIC and FPGA Verification heftetEngelsk, 2004