We address the problem of synthesizing pass transistor logic (PTL), with the specific objective of delay reduction, through binary decision diagram (BDD) decomposition. The decomposition is performed by mapping the BDD to a network flow graph, and then applying the max-flow min-cut technique to bipartition the BDD optimally under a cost function that measures the delay and area of the decomposed implementations. Experimental results obtained by running our algorithm on the set of ISCAS'85 benchmarks show a 31% improvement in delay and a 30% improvement in area, on an average, as compared to static CMOS implementations for XOR intensive circuits, while in case of arithmetic logic unit and control circuits that are NAND intensive, improvements over static CMOS are small and inconsistent.
|Original language||English (US)|
|Number of pages||14|
|Journal||IEEE Transactions on Very Large Scale Integration (VLSI) Systems|
|State||Published - Aug 2005|
Bibliographical noteFunding Information:
Manuscript received November 26, 2003; revised November 4, 2004. This work was supported in part by Semiconductor Research Consortium (SRC) under Contract 2002-TJ-1092 and under Award NSF CCR-0098117.
- Binary decision diagrams (BDDs)
- Functional decomposition
- Logic synthesis
- Pass transistor logic