A circuit comparison system with rule-based functional isomorphism checking

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.<<ETX>>

[1]  J. D. Tygar,et al.  Efficient Netlist Comparison Using Hierarchy and Randomization , 1985, DAC 1985.

[2]  Takeshi Sakata,et al.  A Circuit Comparison System for Bipolar Linear LSI , 1985, 22nd ACM/IEEE Design Automation Conference.

[3]  I. Ablasser,et al.  Circuit Recognition and Verification Based on Layout Information , 1981, 18th Design Automation Conference.

[4]  Makoto Takashima,et al.  Programs for Verifying Circuit Connectivity of MOS/LSI Mask Artwork , 1982, DAC 1982.

[5]  Kenji Yoshida,et al.  Programs for Verifying Circuit Connectivity of MOS/LSI Mask Artwork , 1982, 19th Design Automation Conference.

[6]  Erich Barke.  A Network Comparison Algorithm for Layout Verification of Integrated Circuits , 1984, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[7]  Kenji Yoshida,et al.  An Integrated Mask Artwork Analysis System , 1980, 17th Design Automation Conference.

[8]  J. Doug Tygar,et al.  Efficient Netlist Comparison Using Hierarchy and Randomization , 1985, 22nd ACM/IEEE Design Automation Conference.