An efficient diagnostic test pattern generation framework using boolean satisfiability

Submitted by superuser on Mon, 04/06/2015 - 21:47

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.