The Community for Technology Leaders
Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
ISBN: 0-8186-0864-1
pp: 512-516
Takashima , Toshiba Corp., Kawasaki, Japan
Ikeuchi , 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.
INDEX TERMS
LSI, layout verification, circuit comparison system, rule-based functional isomorphism checking, network reduction, graph isomorphism-based comparison, large networks
CITATION

Tanaka, Saitou, Sakata, Takashima, Ikeuchi and Kojima, "A circuit comparison system with rule-based functional isomorphism checking," Design Automation Conference(DAC), Anaheim, CA, USA, 1988, pp. 512-516.
doi:10.1109/DAC.1988.14808
96 ms
(Ver 3.3 (11022016))