本文選題：可逆電路 + 加法器　； 參考：《數(shù)學(xué)的實踐與認識》2015年09期

【摘要】：以可逆加法器設(shè)計為例,論述如何利用RevKit進行可逆電路研究.首先概述RevKit的軟件構(gòu)架、核心功能以及所支持的輸入文件格式;其次分別用Python命令行形式和圖形界面形式,以及基于二元判決圖(Binary Decision Diagram,BDD)方法和基于真值表轉(zhuǎn)換方法進行可逆加法器設(shè)計;最后給出兩種方法所生成電路的性能比對.實驗驗證,RevKit作為開源工具,集成了現(xiàn)有可逆電路綜合、優(yōu)化及驗證方法,有利于提高可逆電路的設(shè)計效能.
[Abstract]:Taking the design of reversible adder as an example, this paper discusses how to use RevKit to study reversible circuit.First, it outlines the software architecture, core functions and supported input file format of RevKit; secondly, it uses Python command-line format and graphical interface form, respectively.The reversible adder is designed based on binary Decision Diagram BDD method and truth table conversion method, and the performance ratio of the circuits generated by the two methods is given.As an open source tool, RevKit integrates the existing methods of synthesis, optimization and verification of reversible circuits, which is helpful to improve the design efficiency of reversible circuits.
【作者單位】： 浙江萬里學(xué)院EDA實驗室;
【基金】：浙江省自然科學(xué)基金(LY14F040002) 寧波市自然科學(xué)基金(2013A610006,2013A610008,2013A610010)
【分類號】：TP332.21
，

本文編號：1731536