Xiaoming Yu Miron Abramovici Sequential circuit ATPG using combinational algorithms. 1294-1310 2005 24 IEEE Trans. on CAD of Integrated Circuits and Systems 8 http://dx.doi.org/10.1109/TCAD.2005.850835 db/journals/tcad/tcad24.html#YuA05