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.
[1]
D. Talbot.
Paper 4
,
2022
.
[2]
Marvin Minsky,et al.
A framework for representing knowledge
,
1974
.
[3]
D.D. Gajski,et al.
An Expert-System Paradigm for Design
,
1986,
23rd ACM/IEEE Design Automation Conference.
[4]
Peter Marwedel,et al.
The MIMOLA Design System: Detailed Description of the Software System
,
1979,
16th Design Automation Conference.
[5]
Daniel P. Siewiorek,et al.
A design methodology and computer aids for digital VLSI systems
,
1981
.
[6]
John J. Granacki,et al.
The ADAM Advanced Design Automation System: Overview, Planner and Natural Language Interface
,
1985,
22nd ACM/IEEE Design Automation Conference.
[7]
Earl David Sacerdoti,et al.
A Structure for Plans and Behavior
,
1977
.