A SAT based test generation method for delay fault testing of macro based circuits

Santino Mele. A SAT based test generation method for delay fault testing of macro based circuits. PhD thesis, University of Ferrara, Italy, 2010. [doi]

Abstract

Abstract is missing.