Functional composition: A new paradigm for performing logic synthesis

Author

Martins, Mayler G A ; Ribas, Renato P. ; Reis, Andre I.

Author_Institution

Inst. de Inf., UFRGS, Bento Goncalves, Brazil

fYear

2012

fDate

19-21 March 2012

Firstpage

236

Lastpage

242

Abstract

This paper presents the functional composition (FC), a new paradigm for combinational logic synthesis. FC is based on the following principles: (1) representation of logic functions as a bonded pair of functional/structural representations; (2) it starts from a set of initial functions; (3) simpler functions are associated to create more complex ones; (4) a partial order that enables dynamic programming is respected; (5) a set of allowed functions is maintained to reduce execution time/memory consumption. We present functional composition algorithms variants for Boolean factoring, AIG rewriting, minimum decision chain computation and SOP generation.

Keywords

combinational circuits; dynamic programming; AIG rewriting; Boolean factoring; SOP generation; combinational logic synthesis; dynamic programming; execution time-memory consumption reduction; functional composition algorithm; functional-structural representations; logic function representation; minimum decision chain computation reduction; Data structures; Dynamic programming; Equations; Heuristic algorithms; Indexes; Logic functions; AIG rewriting; Boolean properties; Functional Decomposition; algorithms; factoring; functional composition; logic synthesis;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Electronic Design (ISQED), 2012 13th International Symposium on

Conference_Location

Santa Clara, CA

ISSN

1948-3287

Print_ISBN

978-1-4673-1034-5

Type

conf

DOI

10.1109/ISQED.2012.6187500

Filename

6187500