A SAT-based implication engine for efficient ATPG, equivalence checking, and optimization of netlists.

Paul Tafertshofer, Andreas Ganz, Manfred Henftling

Browse the full ICCAD paper archive.