"Effective Functional Verification: Principles and Processes" - читать интересную книгу автора (Srivatsa Vasudevan)