论文部分内容阅读
可逆电路的优化是可逆逻辑综合的关键问题之一。为了解决可逆Toffoli电路优化问题中算法复杂度高和电路规模可扩充性差的问题，分析归纳了相邻Toffoli门的关系，提出并证明了可逆Toffoli电路中子序列的移动和化简规则，并基于这些规则给出了可逆Toffoli电路的优化算法。根据移动规则对可逆电路进行正向和反向扫描，寻找满足化简规则的子序列进行优化，直到可逆电路不发生变化为止。该优化算法与可逆电路的输入线数无关，无需存储额外信息，适用于各种不同类型的Toffoli电路合成方法，算法复杂度为0（s^3），优