论文部分内容阅读
以可逆加法器设计为例,论述如何利用RevKit进行可逆电路研究.首先概述RevKit的软件构架、核心功能以及所支持的输入文件格式;其次分别用Python命令行形式和图形界面形式,以及基于二元判决图(Binary Decision Diagram,BDD)方法和基于真值表转换方法进行可逆加法器设计;最后给出两种方法所生成电路的性能比对.实验验证,RevKit作为开源工具,集成了现有可逆电路综合、优化及验证方法,有利于提高可逆电路的设计效能.
Taking reversible adder design as an example, this paper discusses how to use RevKit to research reversible circuits.Firstly, RevKit’s software architecture, core functions and supported input file formats are introduced.Secondly, using Python command line and graphical interface respectively, Finally, the performance comparison of the circuits generated by the two methods is given.According to the experimental verification, RevKit is an open source tool that integrates the existing reversible inverters Circuit synthesis, optimization and verification methods are conducive to improving the design efficiency of reversible circuits.