An Algorithm for Locating Logic Design Errors.

Masahiro Tomita, Hong-Hai Jiang, Tamotsu Yamamoto, Yoshihiro Hayashi

Browse the full ICCAD paper archive.