Abstract:
A new method is proposed for isolation of suspected faults in combinational digital circuits: whereby completeness of specified tests is checked for multiple faults. The faults are calculated for modules and their connections. The method employs Boolean differentials.