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