通过有限状态机合成顺序可逆电路
摘要：可逆计算由于其低功耗和较少的热量散发相比传统计算而言，吸引了研究人员的注意。不同研究人员已经提出了许多可逆门，并且基于可逆门开发了各种组合电路。然而，在可逆逻辑中实现时序电路仍处于早期阶段。由于可逆电路不允许反馈，因此无法使用时序电路。然而，通过在空间（而不是时间）中允许反馈，文献中报道了一些顺序可逆门和电路。在这篇论文中，我们从两个方面解决了这个问题。一方面是提出适用于顺序构建块（即T触发器）的低成本可逆门，从而设计低成本的同步和异步计数器。另一方面是通过有限状态机（FSM）形式的行为描述生成电路。我们提出的可逆计数器设计在门数、垃圾输出和文献中可用的常量输入等优化参数方面显著优于其他设计。我们还提出了一种通过FSM获取可逆电路的过程。文献中对FSM到可逆FSM的转换只有很少的尝试。由于文献中没有生成的顺序可逆电路，因此我们的结果无法与其他电路进行比较。我们预计顺序可逆电路将有助于调试可逆电路，处理FSM的模糊状态，并通过反转原始输出生成原始输入的逆向操作。
作者：Shubham Gupta
论文ID：1410.2370
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2015-01-08