Title :
A circuit comparison system with rule-based functional isomorphism checking
Author :
Takashima, Makoto ; Ikeuchi, Atsuhiko ; Kojima, Shoichi ; Tanaka, Toshikazu ; Saitou, Tamaki ; Sakata, Jun-ichi
Author_Institution :
Toshiba Corp., Kawasaki, Japan
Abstract :
A circuit comparison system is described which compares two networks and points out inconsistencies. A novel approach is used to handle functionally isomorphic circuits which most conventional programs can not handle. Three techniques are included: network reduction, graph isomorphism-based comparison, and rule-based functional isomorphism checking for inconsistencies. The system is efficient even for large networks and can eliminate false errors in flexible manner.<>
Keywords :
circuit analysis computing; circuit layout CAD; large scale integration; LSI; circuit comparison system; graph isomorphism-based comparison; large networks; layout verification; network reduction; rule-based functional isomorphism checking; Central Processing Unit; Circuits; Data mining; Design methodology; Fabrication; Humans; Laboratories; Large scale integration; Microcomputers; Software engineering;
Conference_Titel :
Design Automation Conference, 1988. Proceedings., 25th ACM/IEEE
Conference_Location :
Anaheim, CA, USA
Print_ISBN :
0-8186-0864-1
DOI :
10.1109/DAC.1988.14808
