Efficient SAT-based ATPG techniques for all multiple stuck-at faults

Masahiro Fujita, Alan Mishchenko. Efficient SAT-based ATPG techniques for all multiple stuck-at faults. In 2014 International Test Conference, ITC 2014, Seattle, WA, USA, October 20-23, 2014. pages 1-10, IEEE, 2014. [doi]

Abstract

Abstract is missing.