Verification by error modeling : using testing techniques in hardware verification - Radecka, Katarzyna. (Kluwer Academic, 2003)