A Circuit Comparison System with Rule-Based Functional Isomorphism Checking

Makoto Takashima, Atsuhiko Ikeuchi, Shoichi Kojima, Toshikazu Tanaka, Tamaki Saitou, Jun-ichi Sakata. A Circuit Comparison System with Rule-Based Functional Isomorphism Checking. In DAC. pages 512-516, 1988. [doi]

Abstract

Abstract is missing.