A CAD system for logic design based on frames and demons
DAC '81 Proceedings of the 18th Design Automation Conference
SCALD: Structured Computer-Aided Logic Design
DAC '78 Proceedings of the 15th Design Automation Conference
Alex: A conversational, hierarchical logic design system
DAC '80 Proceedings of the 17th Design Automation Conference
An hierarchical language for the structural description of digital systems
DAC '77 Proceedings of the 14th Design Automation Conference
Design and verification of large-scale computers by using DDL
DAC '79 Proceedings of the 16th Design Automation Conference
A rule-based logic circuit synthesis system for CMOS gate arrays
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Hi-index | 0.00 |
This paper proposes an interactive logic synthesis system which supports translation from behavioral to gate level. A design's specification described in the register transfer language DDL is translated into abstract objects. They are converted to macros representing logical structure and serving as technology independent goals which guide designers in synthesis phases. The system has knowledge about the technology adopted and can accommodate various know-how and design constraints to support the designer's tasks of PCB partition and logic synthesis. As a result, it greatly relieves designers from tedious tasks and makes it possible to explore alternative designs.