Verification methodology manual Techniques for verifying HDL designs - Dempster, David; Stuart, Michael (Teamwork International, 2002)