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