Professional Verification A Guide to Advanced Functional Verification - Wilcox, Paul (Springer US, 2004)