DocumentCode
3555061
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
fYear
1988
fDate
12-15 June 1988
Firstpage
512
Lastpage
516
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1988. Proceedings., 25th ACM/IEEE
Conference_Location
Anaheim, CA, USA
ISSN
0738-100X
Print_ISBN
0-8186-0864-1
Type
conf
DOI
10.1109/DAC.1988.14808
Filename
14808
Link To Document