A SAT based test generation method for delay fault testing of macro based circuits. - Santino Mele (2010)

A SAT Based Test Generation Method for Delay Fault Testing of Macro Based Circuits. - Santino Mele; Michele Favalli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)