A Verification Algorithm for Logic Circuits with Internal Variables.

Toshihiro Nakaoa, Shin'ichi Wakabayashi, Tetsushi Koide, Noriyoshi Yoshida

Browse the full ISCAS paper archive.