21st Design Automation Conference Proceedings · 1984 · 145 citations · 11 references
EngineeringComputer EngineeringDigital DesignComputer ArchitectureComputer-aided DesignDesign AutomationDesign Rule CheckingDigital Integrated Circuit DesignDigital Logic DesignLayout DesignRoutingVery-large-scale Integration LayoutLayout Rule CheckingLayout TechniquesSymbolic Design RepresentationSymbolic Logic
Magic is a "smart" layout system for integrated circuits. The user interface is based on a new design style called logs, which combines the efficiency of mask-level design with the flexibility of symbolic design. The system incorporates expertise about design rules and connectivity directly into the layout system in order to implement powerful new operations, including: a continuous design-rule checker that operates in background to maintain an up-to-date picture of violations; an operation called plowing that permits interactive stretching and compaction; and routing tools that can work under and around existing connections in the channels. Magic uses a new data structure called corner stitching to achieve an efficient implementation of these operations.
11
An Algorithm for Path Connections and Its Applications
C. Y. Lee · IEEE Transactions on Electronic Computers · 1961 · 1.6K citations
David Ungar, Ricki Blau, Peter Foley et al. · 1984 · 82 citations · Full text
N. Weste · 18th Design Automation Conference · 1981 · 72 citations