FICOM: a framework for incremental consistency maintenance in multi-representation, structural VLSI databases

A framework for VLSI design databases which supports fine-grained incremental consistency maintenance between different views of a design is presented. The framework provides for structural views of a design such as logic or circuit schematic, symbolic layout, and physical layout, and supports representation of geometric design rule constraints between design objects. A prototype interactive design system which provides a user interface to three structural view types (gate and circuit schematics, and symbolic layouts) is presented. Features of the prototype system are automatic propagation of incremental operations between views and high-speed online generation and evaluation of geometric design rule constraints.<>