ats10 On Determining the Real Output Xs by SAT-Based Reasoning

Abstract—Embedded testing, built-in self-test and methods for
test compression rely on efficient test response compaction.

I. INTRODUCTION