The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Design rule verification based on one dimensional scans
DAC '78 Proceedings of the 15th Design Automation Conference
Design rule checking and analysis of IC mask designs
DAC '76 Proceedings of the 13th Design Automation Conference
Automatic circuit analysis based on mask information
DAC '76 Proceedings of the 13th Design Automation Conference
An artwork design verification system
DAC '75 Proceedings of the 12th Design Automation Conference
Fast algorithms for LSI artwork analysis
DAC '77 Proceedings of the 14th Design Automation Conference
A layout checking system for large scale integrated circuits
DAC '77 Proceedings of the 14th Design Automation Conference
Unified Shapes Checker - a checking tool for LSI
DAC '79 Proceedings of the 16th Design Automation Conference
LSI layout checking using bipolar device recognition technique
DAC '79 Proceedings of the 16th Design Automation Conference
Topological analysis for VLSI circuits
DAC '79 Proceedings of the 16th Design Automation Conference
A circuit comparison system with rule-based functional isomorphism checking
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Symbolic Parasitic Extractor for Circuit Simulation (SPECS)
DAC '83 Proceedings of the 20th Design Automation Conference
Space efficient algorithms for VLSI artwork analysis
DAC '83 Proceedings of the 20th Design Automation Conference
Functional verification of memory circuits from mask artwork data
DAC '84 Proceedings of the 21st Design Automation Conference
EXCL: A circuit extractor for IC designs
DAC '84 Proceedings of the 21st Design Automation Conference
Efficient Boolean operations on IC masks
DAC '81 Proceedings of the 18th Design Automation Conference
A CODASYL CAD data base system
DAC '81 Proceedings of the 18th Design Automation Conference
PANAMAP-B: A mask verification system for bipolar IC
DAC '81 Proceedings of the 18th Design Automation Conference
A database approach for managing VLSI design data
DAC '82 Proceedings of the 19th Design Automation Conference
Programs for verifying circuit connectivity of mos/lsi mask artwork
DAC '82 Proceedings of the 19th Design Automation Conference
Simplified data structure for “mini-based” turnkey CAD systems
DAC '82 Proceedings of the 19th Design Automation Conference
Hi-index | 0.00 |
A new LSI artwork analysis and processing system, called EMAP, is described with algorithms, a database schema and applications. EMAP provides the designer with the artwork verification and processing tools which include mask artwork processing, geometrical design rule checking, connectivity analysis and electrical circuit parameter calculation. The circuit connectivity data derived from the mask artwork data is used for input to a logic simulator, a timing simulator, a circuit simulator and a circuit schematic generator.