As the design of digital systems is becoming Micrographics. increasingly complex, an undetected design error in the late phase of the design process may have catastrophic consequences. It is thus very important to discover ...