1. ESL Design and Verification: A Prescription for Electronic System Level Methodology;Bailey,2007
2. Writing Testbenches, Function Verification of HDL Models;Bergeron,2003
3. Verification Methodology Manual: Techniques for Verifying HDL Designs;Dempster,2002
4. Assertion-Based Design;Foster,2004
5. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic;Gorden,1993