Identifying Undetectable Defects Using Equivalence Checking
Lars Hedrich, Inga Abel, Jaafar Mejri, Vladimir D. Živković · 2024
The paper proposes a method for identifying undetectable defects in mixed-signal circuits to exclude them from further consideration in defect campaigns. The method uses an equivalence checker to generate counterexamples or prove the undetectability of a defect.