SOCRATES: a system for automatically synthesizing and optimizing combinational logic
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
Supporting indirect collaborative design with integrated knowledge-based design environments
Human-Computer Interaction
Revised dependency-directed backtracking for default reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Revised dependency-directed backtracking for default reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This paper describes the implementation of a prototype expert system that provides standard cell design advice in the areas of performance, manufacturability, testability, and overall design quality, from a netlist description of an application specific integrated circuit (ASIC) design.The system is currently being developed on a Symbolics Lisp Machine using a hybrid AI programming language, called Proteus. The language integrates both known and novel AI programming techniques into a robust vehicle for the implementation of knowledge-based systems.Knowledge representation schemes, inference mechanisms, and knowledge acquisition techniques will be presented, including representative examples from within the knowledge base.