Verification by error modeling : USING TESTING TECHNIQUES IN HARDWARE VERIFICATION - Radecka, Katarzyna (Kluwer Academic Publishers, 2003)