A Logic Programming Framework for Combinational Circuit Synthesis

Details A Logic Programming Framework for Combinational Circuit Synthesis A Logic Programming Framework for Combinational Circuit Synthesis

2008-04-14

arxiv.org/abs/0804.2095v1

23rd International Conference on Logic Programming (ICLP), LNCS 4670, 2007, pages 180-194

Computer Science

Logic in Computer Science

Scientific paper

Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts to reconnect the two fields with a fresh look at Prolog encodings for the combinatorial objects involved in circuit synthesis. While benefiting from Prolog's fast unification algorithm and built-in backtracking mechanism, efficiency of our search algorithm is ensured by using parallel bitstring operations together with logic variable equality propagation, as a mapping mechanism from primary inputs to the leaves of candidate Leaf-DAGs implementing a combinational circuit specification. After an exhaustive expressiveness comparison of various minimal libraries, a surprising first-runner, Strict Boolean Inequality "<" together with constant function "1" also turns out to have small transistor-count implementations, competitive to NAND-only or NOR-only libraries. As a practical outcome, a more realistic circuit synthesizer is implemented that combines rewriting-based simplification of (<,1) circuits with exhaustive Leaf-DAG circuit search. Keywords: logic programming and circuit design, combinatorial object generation, exact combinational circuit synthesis, universal boolean logic libraries, symbolic rewriting, minimal transistor-count circuit synthesis

Affiliated with

Also associated with

No associations

Rating

A Logic Programming Framework for Combinational Circuit Synthesis does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Logic Programming Framework for Combinational Circuit Synthesis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Logic Programming Framework for Combinational Circuit Synthesis will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-71034