VERIFY: a program for proving correctness of digital hardware designs
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Synapse: An Expert System for VLSI Design
Computer - Special issue on expert systems in engineering
Principles of artificial intelligence
Principles of artificial intelligence
The ADAM advanced design automation system: overview, planner and natural language interface
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
An Artificial Intelligence Approach to VLSI Design
An Artificial Intelligence Approach to VLSI Design
A Model-Based Expert System for Digital System Design
IEEE Design & Test
Hi-index | 0.00 |
Knowledge acquisition is the key task in building an expert system. Existing expert systems for digital circuit design need human knowledge engineers to update their rule bases whenever a new component is added into the system. This manual knowledge acquisition process is quite error prone and time consuming. To solve these problems, we use the automated reasoning method to find applications of a new structural module based on its basic behavior.