Logic Programming
A logic design structure for LSI testability
DAC '77 Proceedings of the 14th Design Automation Conference
Concurrent Logic Programming as a Hardware Description Tool
IEEE Transactions on Computers
Design for testability in a silicon compilation environment
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Automatic design of optimal logic circuits based on ternary quantum-dot cellular automata
WSEAS Transactions on Circuits and Systems
Computer-aided design of ternary quantum-dot cellular automata circuits
ICC'08 Proceedings of the 12th WSEAS international conference on Circuits
| Hi-index | 0.00 |
This paper gives an overview of expert systems and logic programming as applied to Computer-Aided Design (CAD) systems. Our objective is to show the relevance of these two approaches developed from research in artificial intelligence for the solution of problems in VLSI design. We will provide some examples of the use of logic programming for familiar CAD tasks. The expert systems discussed function as experts in a very narrowly defined area of expertise, and can be called designer's assistants. We will also compare the use of logic programming (PROLOG) to current algorithmic solutions to VLSI design problems and discuss some future research in this area.