A transformation based algorithm for reversible logic synthesis

Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451) Pub Date : 2003-06-02 DOI:10.1145/775832.775915

D. M. Miller, D. Maslov, Gerhard, Dueck

引用次数: 542

Abstract

A digital combinational logic circuit is reversible if it maps each input pattern to a unique output pattern. Such circuits are of interest in quantum computing, optical computing, nanotechnology and low-power CMOS design. Synthesis approaches are not well developed for reversible circuits even for small numbers of inputs and outputs. In this paper, a transformation based algorithm for the synthesis of such a reversible circuit in terms of n /spl times/ n Toffoli gates is presented. Initially, a circuit is constructed by a single pass through the specification with minimal look-ahead and no back-tracking. Reduction rules are then applied by simple template matching. The method produces very good results for larger problems.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

一种基于变换的可逆逻辑综合算法

如果一个数字组合逻辑电路将每个输入模式映射到一个唯一的输出模式，那么它就是可逆的。这种电路在量子计算、光学计算、纳米技术和低功耗CMOS设计中很有意义。即使对于少量输入和输出的可逆电路，综合方法也没有得到很好的发展。本文提出了一种以n /spl次/ n托佛利门为单位的基于变换的可逆电路合成算法。最初，电路是通过单次通过规范构建的，具有最小的前瞻性和无回溯。然后通过简单的模板匹配应用约简规则。对于较大的问题，该方法产生了非常好的结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)

自引率

0.00%

发文量

期刊最新文献

SAT-based unbounded symbolic model checking Self-biased high-bandwidth low-jitter 1-to-4096 multiplier clock generator PLL Design techniques for sensor appliances: foundations and light compass case study Hybrid hierarchical timing closure methodology for a high performance and low power DSP Low-power design methodology for an on-chip with adaptive bandwidth capability