SAT-based Silicon Debug of Electrical Errors under Restricted Observability Enhancement

Binod Kumar 0001, Masahiro Fujita, Virendra Singh. SAT-based Silicon Debug of Electrical Errors under Restricted Observability Enhancement. J. Electronic Testing, 35(5):655-678, 2019. [doi]

Abstract

Abstract is missing.