ZATPG: SAT-based test patterns generator with zero-aliasing in temporal compaction

Robert Hulle, Petr Fiser, Jan Schmidt. ZATPG: SAT-based test patterns generator with zero-aliasing in temporal compaction. Microprocessors and Microsystems, 61:43-57, 2018. [doi]

Abstract

Abstract is missing.