Verification methodology manual Techniques for Verifying HDL Designs - Dempster, David; Stuart, Michael (Teamwork International, 2001)