基于RevKit的可逆加法器设计
以可逆加法器设计为例,论述如何利用RevKit进行可逆电路研究.首先概述RevKit的软件构架、核心功能以及所支持的输入文件格式;其次分别用Python命令行形式和图形界面形式,以及基于二元判决图(Binary Decision Diagram,BDD)方法和基于真值表转换方法进行可逆加法器设计;最后给出两种方法所生成电路的性能比对.实验验证,RevKit作为开源工具,集成了现有可逆电路综合、优化及验证方法,有利于提高可逆电路的设计效能.
可逆电路、加法器、RevKit、综合优化
45
浙江省自然科学基金LY14F040002;宁波市自然科学基金2013A610006,2013A610008,2013A610010
2015-06-19（万方平台首次上网日期，不代表论文的发表时间）
146-151
