Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Artificial Intelligence and PA
Artificial Intelligence and PA
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
Verifying deep logic hierarchies with ALEX
DAC '80 Proceedings of the 17th Design Automation Conference
MIXS: A mixed level simulator for large digital system logic verification
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
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
Design and verification of large-scale computers by using DDL
DAC '79 Proceedings of the 16th Design Automation Conference
DAC '85 Proceedings of the 22nd ACM/IEEE 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
A frame based system for representing knowledge about VLSI design: a proposal
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
An interactive logic synthesis system based upon AI techniques
DAC '82 Proceedings of the 19th Design Automation Conference
| Hi-index | 0.00 |
A hierarchical logic design system based on frames and demons is proposed in this paper. Featuring a graphic editor which puts the design information into frames and a symbolic simulator which consists of demons (data-driven functions stored in frames), the system is flexible enough for a designer to easily add his own functions, such as monitoring functions of design constraints.