USING PARTIAL IMPLICATIONS FOR REDUNDANCY IDENTIFICATION ...

Spectral Testing of Digital Circuits An Embedded Tutorial Vishwani D. Agrawal Agere Systems Murray Hill, NJ 07974, USA http://cm.bell-labs.com/cm/cs/who/va