發(fā)布時間：2018-04-10 14:12

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

【摘要】：以可逆加法器設計為例,論述如何利用RevKit進行可逆電路研究.首先概述RevKit的軟件構架、核心功能以及所支持的輸入文件格式;其次分別用Python命令行形式和圖形界面形式,以及基于二元判決圖(Binary Decision Diagram,BDD)方法和基于真值表轉換方法進行可逆加法器設計;最后給出兩種方法所生成電路的性能比對.實驗驗證,RevKit作為開源工具,集成了現有可逆電路綜合、優(yōu)化及驗證方法,有利于提高可逆電路的設計效能.
[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.
【作者單位】： 浙江萬里學院EDA實驗室;
【基金】：浙江省自然科學基金(LY14F040002) 寧波市自然科學基金(2013A610006,2013A610008,2013A610010)
【分類號】：TP332.21
，

本文編號：1731536