DAC '81 Proceedings of the 18th Design Automation Conference
Versatile mask generation techniques for custom microelectronic devices
DAC '78 Proceedings of the 15th Design Automation Conference
The evolution of design automation to meet the challanges of VLSI
DAC '80 Proceedings of the 17th Design Automation Conference
SLIC - Symbolic Layout of Integrated Circuits
DAC '76 Proceedings of the 13th Design Automation Conference
Floss: An approach to automated layout for high-volume designs
DAC '77 Proceedings of the 14th Design Automation Conference
Designers Workbench—efficient and economical design aids
DAC '79 Proceedings of the 16th Design Automation Conference
KAHLUA: a hierarchical circuit disassembler
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
RISCE—a reduced instruction set circuit extractor for hierarchical VLSI layout verification
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
A channelless, multilayer router
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Hierarchical analysis of IC artwork with user defined abstraction rules
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Symbolic hierarchical artwork generation system
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
A version server for computer-aided design data
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
An Extended Relational Database System and It's Application to Management of Logic Diagrama
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
HEX: An instruction-driven approach to feature extraction
DAC '83 Proceedings of the 20th Design Automation Conference
Plowing: Interactive stretching and compaction in magic
DAC '84 Proceedings of the 21st Design Automation Conference
The rectangle placement language
DAC '84 Proceedings of the 21st Design Automation Conference
Architecture of SOAR: Smalltalk on a RISC
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
IBM Journal of Research and Development
Constraint solver for generalized IC layout
IBM Journal of Research and Development
An algorithm for optimal two-dimensional compaction of VLSI layouts
Integration, the VLSI Journal
Hi-index | 0.00 |
As integrated circuit design has become increasingly complex, the need for more effective data description techniques has become critical. Design verification from mask artwork data alone can consume vaste amounts of computer time for VLSI circuits, if it can be performed at all. The use of a symbolic design description, which allows the designer or synthesis program to express circuit structure as well as maintain full connectivity information, can reduce dramatically the burden placed on the verification tools: This paper describes a symbolic design system, its associated data manager, its color graphics viewport manager, and its application to a variety of design methods. The data manager can store a variety of representations of the design, including simulation data, geometric layout, symbolic layout, and schematic diagrams. The viewport manager can manage a number of viewports concurrently and the use of a model frame buffer allows it to function easily on a variety of graphics terminals and hard-copy devices. The system is designed with an engineering work station in mind.