Deakstadieđáhus: ASIC and FPGA verification : a guide to component modeling / Richard Munden.