Bound Set Selection and Circuit Re-Synthesis for Area/Delay Driven Decomposition

Andres Martinelli (1) , Elena Dubrova (1)

1 IMIT/KTH

This paper addresses two problems related to disjoint-support decomposition of Boolean functions. First, we present a heuristic for finding a subset of variables, X, which results in the disjoint-support decomposition f(X, Y) = h(g(X), Y) with a good area/delay trade-off. Second, we present a technique for re-synthesis of the original circuit implementing f(X, Y) into a circuit implementing the decomposed representation h(g(X), Y). Preliminary experimental results indicate that the proposed approach has a significant potential.

Domaines: Architectures Matérielles [cs.AR]; Electronique

Andres Martinelli, Elena Dubrova. Bound Set Selection and Circuit Re-Synthesis for Area/Delay Driven Decomposition. DATE'05, Mar 2005, Munich, Germany. pp.430-431. ⟨hal-00181550⟩