WEAVER: a knowledge-based routing expert
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
A design utility manager: the ADAM planning engine
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
VLSI CAD tool integration using the Ulysses environment
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
An expert-system paradigm for design
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
An Artificial Intelligence Approach to VLSI Design
An Artificial Intelligence Approach to VLSI Design
The CRITTER system: Automated critiquing of digital circuit designs
DAC '84 Proceedings of the 21st Design Automation Conference
The critter system -- an artificial intelligence approach to digital circuit design critiquing
The critter system -- an artificial intelligence approach to digital circuit design critiquing
LEAP: a learning apprentice for VLSI design
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Underlying any system that does design is a model of the design process and a division oflabor between the system and the user. We are just beginning to understand what the main alternative models are, what their strengths and weaknesses are, and for which domains and tasks each is appropriate. The research reported here is an attempt to further that understanding by studying a particular model, the model of design as top down refinement plus constraint propagation, with the user making control decisions and the system carrying them out. We have studied this model by embodying it in VEXED, a design aid for NMOS digital circuits, and by experimenting with this system. Our primary conclusion is that this model needs further elaboration, but seems like a good basic model on which to build such systems.