AUTOMATIC CIRCUIT DESIGN FOR DIGITAL COUNTERS

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.