A SAT-based diagnosis pattern generation method for timing faults in scan chains

Da Wang, Lunkai Zhang, Weizhi Xu, Dongrui Fan, Fei Wang. A SAT-based diagnosis pattern generation method for timing faults in scan chains. In 2012 IEEE International Symposium on Circuits and Systems, ISCAS 2012, Seoul, Korea (South), May 20-23, 2012. pages 2308-2312, IEEE, 2012. [doi]

Authors

Da Wang

This author has not been identified. Look up 'Da Wang' in Google

Lunkai Zhang

This author has not been identified. Look up 'Lunkai Zhang' in Google

Weizhi Xu

This author has not been identified. Look up 'Weizhi Xu' in Google

Dongrui Fan

This author has not been identified. Look up 'Dongrui Fan' in Google

Fei Wang

This author has not been identified. Look up 'Fei Wang' in Google