Verification by error modeling : USING TESTING TECHNIQUES IN HARDWARE VERIFICATION - Radecka, Katarzyna (Frontiers in Electronic Testing / Kluwer Academic Publishers., 2003)