"Professional Verification: A Guide to Advanced Functional Verification" - читать интересную книгу автора (Paul Wilcox)