The ADAM advanced design automation system: overview, planner and natural language interface
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An expert-system paradigm for design
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
A knowledge based approach to VLSI CAD the redesign system
DAC '84 Proceedings of the 21st Design Automation Conference
The MIMOLA design system: Detailed description of the software system
DAC '79 Proceedings of the 16th Design Automation Conference
Planning with constraints
Knowledge based control in micro-architecture design
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
PHRAN-SPAN: a natural language interface for system specifications
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Function search from behavioral description of a digital system
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
An exper-system paradigm for design
25 years of DAC Papers on Twenty-five years of electronic design automation
DeBuMA: description, building and management of applications
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering
Design process management for CAD frameworks
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Design methodology management using graph grammars
DAC '94 Proceedings of the 31st annual Design Automation Conference
A tightly coupled approach to design and data management
EURO-DAC '94 Proceedings of the conference on European design automation
Modeling design tasks and tools: the link between product and flow model
DAC '97 Proceedings of the 34th annual Design Automation Conference
An expert-system paradigm for design
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
A Model-Based Expert System for Digital System Design
IEEE Design & Test
An approach to design flow management in CAD frameworks
EURO-DAC '91 Proceedings of the conference on European design automation
Design by similarity using transaction modeling and statistical techniques
EURO-DAC '91 Proceedings of the conference on European design automation
Tuning a knowledge base of refinement rules to create good circuit designs
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Design as refinement plus constraint propagation: the VEXED experience
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Design as refinement plus constraint propagation: the VEXED experience
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Intelligent design assistance with SEA
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 0.00 |
In this paper we present a software package which manages the digital design process using a planning paradigm. Under this paradigm design is seen as a process in which abstract models of operators are applied to abstract models of design states in a simulated or planning space, until a sequence of operators has been constructed to completion. The hypothetical design represented by the terminal state is then estimated. Either the planning is then repeated, or the sequence, or plan, is then executed, or carried out, in an execution space. This execution is monitored for violation of expectations; if violations occur, control is returned to the planner. The knowledge base of the planner is populated with register transfer level (RTL) concepts, and it can be populated with other knowledge sets. The planner forms part of the USC ADAM (Advanced Design AutoMation) system.