文章摘要:为降低由布尔表达式图(BED)综合所得可逆电路的成本， 提出一种将因式分解与BED表示模型相结合的可逆电路综合方法. 给定布尔函数的积之异或和(ESOP)覆盖， 首先由ESOP立方体的共享零抑制多输出决策图表示借助代数除法对立方体实施因式分解， 并在此基础上构建BED; 然后将BED结点映射为可逆门级联. 对基准函数的可逆电路综合结果表明， 该方法具有较高的时间效率. 与现有将有向无环图作为函数表示模型的综合方法相比， 该方法在许多情况下能降低综合所得可逆电路的量子成本和量子位数. 从平均角度看， 与结合变量分组和BED表示模型的综合方法相比， 该方法可将量子成本和量子位数分别降低5.01%和5.47%.

文章关键词:可逆电路,积之异或和展开,因式分解,共享零抑制多输出决策图,布尔表达式图,

项目基金:国家自然科学基金(61961023， 61640412),江西省自然科学基金(20202BABL202007),