Design Automation Conference (1988)
Anaheim, CA, USA
June 12, 1988 to June 15, 1988
Takashima , Toshiba Corp., Kawasaki, Japan
Ikeuchi , Toshiba Corp., Kawasaki, Japan
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.
LSI, layout verification, circuit comparison system, rule-based functional isomorphism checking, network reduction, graph isomorphism-based comparison, large networks
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.