Using Contrapositives to Enhance the Implication Graph of Logic Circuits (2004)

by K K Dave, V D Agrawal, M L Bushnell
Venue:in Proc. of the 13 th IEEE North Atalantic Test Workshop