本论文重点研究具有超低功耗特性的可逆逻辑电路的综合算法及其软件实现方法。　　 论文在简要介绍可逆逻辑电路的基础上，对现有的综合方法进行了分析，提出了新的综合方法并对其进行了软件实现与验证，同时通过对验证结果的分析针对性地提出了已综合电路的优化方案。　　 可逆逻辑电路的综合过程中需要同时兼顾算法复杂度和生成电路的代价，使综合速度和结果达到相对最优。为实现这一目标，论文中提出了一种基于正戴维决策图(PDD)的可逆逻辑综合算法。该算法首先将逻辑函数转换成对应的PDD，然后结合文中设计的节点电路模板再将PDD转换成对应的可逆逻辑电路。　　 论文中首先针对性地介绍了可逆逻辑的相关概念、特点，分析了现有综合算法在复杂度、电路代价和在对大电路综合上的不足。并在此基础上详细地阐述了单输出、多输出函数及其节点共享时基于PDD的电路综合流程，论证了PDD算法综合灵活、模板简单的优点。接着，文中对算法的软件实现方案、文件格式、基本数据结构进行了设计，给出了实现方案中各子功能模块的具体实现流程，并通过对比PDD算法和BDD算法对不同类型逻辑函数的综合实验结果，进一步论证了PDD算法速度快、电路代价小、适用于大电路综合等特点。最后，针对PDD算法综合电路的特点，论文在现有可逆电路优化方法的基础上提出了针对性的优化方案，达到了对已综合电路进行优化的目的。　　 研究和测试结果表明，本文中提出的算法综合速度快、效率高，在对大电路综合时电路代价优于现有的综合方法，提出的优化方案能进一步降低电路的代价，达到了课题预期的研究目标。此外，文中针对PDD算法开发的可逆逻辑综合程序及相关代码可继续用于可逆电路优化和测试模块的开发，为后续开发集成化的可逆逻辑仿真平台奠定了基础。