A circuit comparison system with rule-based functional isomorphism checking
Makoto Takashima, Atsuhiko Ikeuchi, Kojima Shoichi, Toshikazu Tanaka, Tamaki Saitou, Junichi Sakata · Design Automation Conference · 1988
This paper describes a circuit comparison system which compares two networks and points out inconsistencies. A new 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. This system is efficient even for large networks and can eliminate false errors in a flexible manner.