"Advanced Verification Techniques: A Systemc Based Approach for Successful Tapeout" - читать интересную книгу автора (Singh L., Drucker L., Khann N.)