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