Paul Tafertshofer, Andreas Ganz, Manfred Henftling. A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists. In ICCAD. pages 648-655, 1997. [doi]
No references recorded for this publication.
No citations of this publication recorded.