Browsing by Author "O'Byrne, Ronan"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
- ItemOpen AccessAUTOMATIC CIRCUIT DESIGN FOR DIGITAL COUNTERS(1986-06-01) O'Byrne, Ronan; Kendall, JohnThis 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.