基于RevKit的可逆加法器设计

发布时间：2018-04-10 14:12

  本文选题：可逆电路 + 加法器　； 参考：《数学的实践与认识》2015年09期

【摘要】：以可逆加法器设计为例,论述如何利用RevKit进行可逆电路研究.首先概述RevKit的软件构架、核心功能以及所支持的输入文件格式;其次分别用Python命令行形式和图形界面形式,以及基于二元判决图(Binary Decision Diagram,BDD)方法和基于真值表转换方法进行可逆加法器设计;最后给出两种方法所生成电路的性能比对.实验验证,RevKit作为开源工具,集成了现有可逆电路综合、优化及验证方法,有利于提高可逆电路的设计效能.
[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