Biblio
2006
S. - J. Pan, Cheng, K. - T. Tim, Moondanos, J., and Hanna, Z.,
“Generation of shorter sequences for high resolution error diagnosis using sequential sat”, in
Proceedings of the 2006 Asia and South Pacific Design Automation Conference, 2006, pp. 25–29.
2007
F. Zheng, Cheng, K. - T. Tim, Yan, X., Moondanos, J., and Hanna, Z.,
“An efficient diagnostic test pattern generation framework using boolean satisfiability”, in
Asian Test Symposium, 2007. ATS'07. 16th, 2007.