A logic programming framework for combinational circuit synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4670 LNCS, Issue , 2007, Pages 180-194

  Tarau, Paul ^a   Luderman, Brenda ^b  

^a Center for Advanced Research and Technology

^b INTEL CORPORATION   (United States)

Author keywords

Combinatorial object generation; Exact combinational circuit synthesis; Logic programming and circuit design; Minimal transistor count circuit synthesis; Symbolic rewriting; Universal boolean logic libraries

Indexed keywords

BOOLEAN FUNCTIONS; INTEGRATED CIRCUIT MANUFACTURE; LIBRARIES; LOGIC CIRCUITS; LOGIC PROGRAMMING; PROLOG (PROGRAMMING LANGUAGE); TIMING CIRCUITS;

BOOLEAN LOGIC; CIRCUIT DESIGNS; CIRCUIT SYNTHESIS; COMBINATORIAL OBJECTS; SYMBOLIC REWRITING;

COMPUTER CIRCUITS;

EID: 38149027232     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74610-2_13     Document Type: Conference Paper

References (16)

1. Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers 35(8), 677-691 (1986), citeseer.ist.psu.edu/ bryant86graphbased.html
2. Canteaut, A., Videau, M.: Symmetric boolean functions. IEEE Transactions on Information Theory 51(8), 2791-2811 (2005)
3. Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 3rd edn. Springer, Heidelberg (1987)
4. Dietmeyer, D.L.: Logic Design of Digital Systems. Allyn and Bacon (1971)
5. Drechsler, R., Gunther, W.: Exact Circuit Synthesis. In: International Workshop on Logic Synthesis (1998), http://citeseer.ist.psu.edu/ drechsler98exact.html
6. Fruhwirth, T.: Theory and practice of constraint handling rules. J. Logic Programming, 19, 20 (1994), http://citeseer.ist.psu.edu/641466.html
7. Knuth, D.: The Art of Computer Programming, draft 4 (2006), http://www.cs.utsa.edu/~wagner/knuth/
8. Mishchenko, A., Brayton, R.: A boolean paradigm for multivalued logic synthesis. In: Proc. IgVLS'02, June, 2002, pp. 173-177 (2002), http://citeseer.ist.psu.edu/article/mishchenko02boolean.html
9. Mishchenko, A., Sasao, T.: Encoding of Boolean functions and its application to LUT cascade synthesis. In: International Workshop on Logic Synthesis (2002), http://citeseer.ist.psu.edu/mishchenko02encoding.html
10. O'Donnell, J.: Hardware description with recursion equations. In: Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications, NorthHolland, pp. 363-382 (April 1987)
11. Rabaey, J., Chandrakasan, A., Nikolic, B.: Digital Integrated Circuits: A Design Perspective. Prentice-Hall, Englewood Cliffs (2003)
12. Reintjes, P.: Elegant technologies (April 1992), published electronically at http://z.zhurnal.net/ElegantTechnologies.pdf
13. Riedel, M.: Cyclic Combinational Circuits. In: Ph.D. Dissertation, Caltech (2004), http://citeseer.ist.psu.edu/riedel04cyclic.html
14. Shende, V., Prasad, A., Markov, I., Hayes, J.: Synthesis of reversible logic circuits. In: IEEE Trans. on CAD 22, pp. 710-722 (June 2003), http://citeseer.ist.psu.edu/article/shende03synthesis.html
15. Sloane, N.J.A.: A000108, The On-Line Encyclopedia of Integer Sequences (2006), published electronically at http://www.research.att.com/~njas/sequences
16. Berkeley Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification, Release 61218 (2006), http://www.eecs.berkeley.edu/~alanmi/abc/