~ tracking down this book ~
ASIC and FPGA verification by Richard Munden — OmList