Circuit comparison by hierarchical pattern matching

The authors present a novel approach to circuit comparison and building-block recognition. In contrast to conventional systems, netlist pattern matching is employed as the basic principle, making it possible to identify arbitrary subcircuits in larger circuits. Typically, a hierarchical netlist derived from a schematic and a flat netlist extracted from a layout have to be compared. In the present approach, this is accomplished by the successive (bottom up) matching of the schematic cells in the layout netlist, thus restoring the schematic hierarchy. The pattern matching algorithm is embedded in a sophisticated hierarchy handling scheme, making it possible to process even ill-structured hierarchies. The method is independent of circuit technology and design style. Typical drawbacks of traditional systems such as the handling of parallel paths or the permutability of (groups of) terminals are overcome in a quite natural way. Additionally, the proposed approach offers a universal and flexible solution to the problem of functional but not too topological isomorphic subcircuits. Real-life examples prove its suitability in function and performance.<<ETX>>

[1]  U. Roettcher,et al.  HIPARE: Circuit and Parameter Extraction from Mask Layout Data , 1986, ESSCIRC '86: Twelfth European Solid-State Circuits Conference.

[2]  Erich Barke,et al.  A Technology Independent Block Extraction Algorithm , 1984, 21st Design Automation Conference Proceedings.

[3]  Norman P. Jouppi Derivation of Signal Flow Direction in MOS VLSI , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  Makoto Takashima,et al.  A circuit comparison system with rule-based functional isomorphism checking , 1988, 25th ACM/IEEE, Design Automation Conference.Proceedings 1988..

[5]  Carl Ebeling GeminiII: a second generation layout validation program , 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.