可逆逻辑电路通过功能分解的复杂性分析
摘要：可逆计算在几种后CMOS技术中变得越来越重要，其中最重要的是量子计算。可逆逻辑综合的一个关键理论问题是门数量的上限。与已知的上限相比，最佳综合方法得到的结果显著较少。在本文中，我们将这个问题与经典布尔函数的乘法复杂性分析联系起来。我们探讨了放宽辅助量的可能性以及这种方法是否使上限更紧。我们的结果是否定的。使用变换和从Exclusive Sum-of-Product (ESOP) 公式开始的无辅助量合成方法在$n < 8$的情况下理论上仍然是实现最少门数量的综合方法，其他情况分别适用。
作者：Anupam Chattopadhyay and Anubhab Baksi
论文ID：1602.00101
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2016-03-22