使用异或积之和进行可逆逻辑综合期间的辅助量子成本权衡
新兴技术
2014-05-26 v1
摘要
具有渐近零功耗的新兴技术（如量子计算）要求逻辑操作以可逆方式进行。近年来，在可逆逻辑域中综合布尔函数的问题受到了广泛的研究关注。综合方法的效率通过量子成本、门成本、垃圾线、逻辑深度和综合速度来衡量。在本文中，我们提出了一种基于异或积之和（ESOP）的方法，允许用户探索量子成本与垃圾线之间的权衡。所提出的技术为可逆逻辑综合解决方案增加了一个新的维度。我们通过详细的实验证明，通过增加垃圾计数可以实现量子成本和门计数的可控改进。在某些情况下，报告了相较于最先进（state-of-the-art）综合方法改进的量子成本和门计数。此外，我们提出了一种新颖的基于规则的方法，以实现从 ESOP 公式开始的无辅助（ancilla-free）可逆逻辑综合。
引用
@article{arxiv.1405.6073,
title = {Ancilla-Quantum Cost Trade-off during Reversible Logic Synthesis using Exclusive Sum-of-Products},
author = {Anupam Chattopadhyay and Nilanjan Pal and Soumajit Majumder},
journal= {arXiv preprint arXiv:1405.6073},
year = {2014}
}