"ASIC and FPGA Verification: A Guide to Component Modeling" - читать интересную книгу автора (Richard Munden)