MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Synthesis and Optimization of Threshold Logic Networks

Download:
Download as a PDF
unknown authors
http://www.princeton.edu/~lzhong/publications/zhang04date.pdf
Add To MetaCart

Abstract:

with Application to Nanotechnologies Abstract — We propose an algorithm for efficient threshold network synthesis of arbitrary multi-output Boolean functions. The main purpose of this work is to bridge the wide gap that currently exists between research on the development of nanoscale devices and research on the development of synthesis methodologies to generate optimized networks utilizing these devices. Many nanotechnologies, such as resonant tunneling diodes (RTD) and quantum cellular automata (QCA), are capable of implementing threshold logic. While functionally correct threshold gates have been successfully demonstrated, there exists no methodology or design automation tool for general multi-level threshold network synthesis. We have built the first such tool, ThrEshold Logic Synthesizer (TELS), on top of an existing Boolean logic synthesis tool. Experiments with about 60 multi-output benchmarks were performed, though the results of only 10 of them are reported in this paper because of space restrictions. They indicate that up to 77 % reduction in gate count is possible when utilizing threshold logic, with an average reduction being 52%, compared to traditional logic synthesis. Furthermore, the synthesized networks are well-balanced, and hence delay-optimized. I.

Citations

254 Switching and Finite Automata Theory – Kohavi - 1978
135 Threshold logic and its applications – Muroga - 1971
107 Logic Synthesis and Verification Algorithms – Hachtel, Somenzi - 1996
18 Threshold Logic – Winder - 1965
16 Threshold Logic: A Synthesis Approach – Dertouzos - 1965
16 CMOS circuit design of threshold gates with hysteresis – Sobelman, Fant - 1998
11 VLSI implementations of threshold logic: A comprehensive survey – Beiu, Quintana, et al. - 2003
9 Lsat - an algorithm for the synthesis of two level threshold gate networks – Oliveira, Sangiovanni-Vincentelli - 1991
8 InP-Based High-Performance Monostable-Bistable Transition Logic Elements (MOBILE’s) Using Integrated Multiple-Input Resonant-Tunneling Devices – Chen, Maezawa, et al. - 1996
4 Sentovich et al., “Sequential circuit design using synthesis and optimization – M - 1992
2 et al., “Overview of nanoelectronic devices – Goldhaber-Gordon - 1997
1 Linear programming solver.” http://www.cs.sunysb.edu/ ∼algorith/implement/lpsolve/implement.shtml Increase – Berkelaar