A Circuit Comparison System with Rule-Based Functional Isomorphism Checking.

Makoto Takashima, Atsuhiko Ikeuchi, Shoichi Kojima, Toshikazu Tanaka, Tamaki Saitou, Jun-ichi Sakata

Browse the full DAC paper archive.