"ASIC AND FPGA VERIFICATION: A GUIDE TO COMPONENT MODELING" - читать интересную книгу автора (RICHARD MUNDEN)