Techniques to Improve the Efficiency of SAT Based Path Delay Test Generation

Kun Bian, D. M. H. Walker, Sunil P. Khatri. Techniques to Improve the Efficiency of SAT Based Path Delay Test Generation. In 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, Mumbai, India, January 5-9, 2014. pages 50-55, IEEE, 2014. [doi]

Authors

Kun Bian

This author has not been identified. Look up 'Kun Bian' in Google

D. M. H. Walker

This author has not been identified. Look up 'D. M. H. Walker' in Google

Sunil P. Khatri

This author has not been identified. Look up 'Sunil P. Khatri' in Google