Functional verification of MOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Comparing structurally different views on a VLSI design
Comparing structurally different views on a VLSI design
Efficient netlist comparison using hierarchy and randomization
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Programs for verifying circuit connectivity of mos/lsi mask artwork
DAC '82 Proceedings of the 19th Design Automation Conference
Re-engineering hardware specifications by exploiting design semantics
EURO-DAC '94 Proceedings of the conference on European design automation
Restructuring VLSI layout representations for efficiency
EURO-DAC '91 Proceedings of the conference on European design automation
Hi-index | 0.00 |
In large design projects, it is desirable to compare alternate views that use different hierarchies. However, existing techniques either require essentially identical hierarchies (which is sometimes an unacceptable restriction) or must flatten to remove the differences (which may be very costly). A new technique, Informed Comparison, has neither shortcoming. First, hierarchy transformations are applied to reconcile the structures of the views; then a hierarchical base comparison finishes the task. The reconciliation is guided by a small amount of additional design information: the intended relationship between the hierarchies of the views. Some qualities of Informed Comparison depend on the reconciliation repertoire and the base comparison. Two examples are studied.