Verification by Error Modeling Using Testing Techniques in Hardware Verification - Radecka, Katarzyna; Zilic, Zeljko (Springer US, 2003)