A SAT Based Test Generation Method for Delay Fault Testing of Macro Based Circuits

Santino Mele, Michele Favalli. A SAT Based Test Generation Method for Delay Fault Testing of Macro Based Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems, 30(4):631-635, 2011. [doi]

Abstract

Abstract is missing.