AUTOMATIC CIRCUIT DESIGN FOR DIGITAL COUNTERS
Date
1986-06-01
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This paper discusses various techniques for
logic circuit design, using Prolog, a language
for logic programming. All the techniques
take advantage of Prolog's special programming style.
A unique approach to logic circuit design is presented, where
circuit building rules are used to create a particular
instance of a circuit type. Optionally, these logic
equations can be minimized and converted to NOT/NAND logic
using a re-write rule technique presented here. Finally
possibilities for logic verification are explored.
Description
Keywords
Computer Science