AUTOMATIC CIRCUIT DESIGN FOR DIGITAL COUNTERS

Date
1986-06-01
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
Citation