Professional Verification : A Guide to Advanced Functional Verification - Wilcox, Paul (Kluwer)