↓ Skip to main content

TAIR: testability analysis by implication reasoning

Overview of attention for article published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, January 2000