基于ESOP最大加权输出相容类的可逆电路综合方法-电子学报.PDF

第８期 电　　子　　学　　报 Ｖｏｌ．４６　Ｎｏ．８ ２０１８年８月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ａｕｇ．　２０１８ 基于ＥＳＯＰ最大加权输出相容类的 可逆电路综合方法 卜登立 （１．井冈山大学电子与信息工程学院，江西吉安３４３００９； ２．流域生态与地理环境监测国家测绘地理信息局重点实验室，江西吉安３４３００９） 　　摘　要：　充分挖掘乘积项在多个函数输出之间的共享因素来降低可逆电路的量子成本是基于积之异或和（Ｅｘ ｃｌｕｓｉｖｅＳｕｍｓＯｆＰｒｏｄｕｃｔｓ，ＥＳＯＰ）的可逆电路综合方法要解决的一个重要问题．提出一种基于最大加权输出相容类的可 逆电路综合方法．该方法先借助零抑制多输出决策图对立方体集合进行输出等价类划分，并采用贪心策略计算最大加 权输出相容类，然后对最大加权输出相容类进行综合，以使混合极性多控制Ｔｏｆｆｏｌｉ门以及可逆子电路在尽可能多的输 出变量线之间共享．通过立方体聚类挖掘等价类中立方体间的结构相似性，并对文字数较多的立方体实施分解，进一 步降低可逆电路的量子成本．使用ＲｅｖＬｉｂ多输出函数对所提出方法进行了验证，结果表明所提出方法可以很好地挖 掘乘积项在多个函数输出之间的共享因素，能够降低由ＥＳＯＰ综合所得可逆电路的量子成本，并且具有较高的时间 效率． 关键词：　可逆电路；逻辑综合；积之异或和；输出相容；零抑制多输出决策图 中图分类号：　ＴＰ３８７，ＴＰ３９１７２　　　文献标识码：　Ａ　　　文章编号：　０３７２２１１２（２０１８）０８１８６６１０ 电子学报ＵＲＬ：ｈｔｔｐ：／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ　 ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１８．０８．０１０ ＲｅｖｅｒｓｉｂｌｅＣｉｒｃｕｉｔＳｙｎｔｈｅｓｉｓＭｅｔｈｏｄＢａｓｅｄｏｎＭａｘｉｍｕｍ ＷｅｉｇｈｔｅｄＯｕｔｐｕｔＣｏｍｐａｔｉｂｉｌｉｔｙＣｌａｓｓｏｆＥＳＯＰ ＢＵＤｅｎｇｌｉ （１．ＳｃｈｏｏｌｏｆＥｌｅｃｔｒｏｎｉｃｓａｎｄＩｎｆｏｒｍａｔｉｏｎＥｎｇｉｎｅｅｒｉｎｇ，ＪｉｎｇｇａｎｇｓｈａｎＵｎｉｖｅｒｓｉｔｙ，Ｊｉ’ａｎ，Ｊｉａｎｇｘｉ３４３００９，Ｃｈｉｎａ； ２．ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＷａｔｅｒｓｈｅｄＥｃｏｌｏｇｙａｎｄＧｅｏｇｒａｐｈｉｃａｌＥｎｖｉｒｏｎｍｅｎｔＭｏｎｉｔｏｒｉｎｇ，ＮＡＳＧ，Ｊｉ’ａｎ，Ｊｉａｎｇｘｉ３４３００９，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：　Ｒｅｄｕｃｉｎｇｑｕａｎｔｕｍｃｏｓｔｏｆｒｅｖｅｒｓｉｂｌｅｃｉｒｃｕｉｔｂｙｅｘｐｌｏｉｔｉｎｇｓｈａｒｉｎｇｏｆｐｒｏｄｕｃｔｔｅｒｍｓａｍｏｎｇｍｕｌｔｉｐｌｅｆｕｎｃｔｉｏｎ ｏｕｔｐｕｔｓｉｓｏｎｅｃｒｕｃｉａｌｐｒｏｂｌｅｍｔｏｂｅｓｏｌｖｅｄｆｏｒＥＳＯＰ（ＥｘｃｌｕｓｉｖｅＳｕｍｓＯｆＰｒｏｄｕｃｔｓ）ｂａｓｅｄｒｅｖｅｒｓｉｂｌｅｃｉｒｃｕｉｔｓｙｎｔｈｅｓｉｓ．Ａ ｍａｘｉｍｕｍｗｅｉｇｈｔｅｄｏｕｔｐｕｔｃｏｍｐａｔｉｂｉｌｉｔｙｃｌａｓｓｂａｓｅｄｒｅｖｅｒｓｉｂｌｅｃｉｒｃｕｉｔｓｙｎｔｈｅｓｉｓｍｅｔｈｏｄｉｓｐｒｏｐｏｓｅｄ．Ｔｈｅｐｒｏｐｏｓｅｄｍｅｔｈｏｄ ｆｉｒｓｔｐａｒｔｉｔｉｏｎｓｃｕｂｅｓｓｅｔｉｎｔｏｓｅｖｅｒａｌｏｕｔｐｕｔｅｑｕｉｖａｌｅｎｃｅｃｌａｓｓｅｓｂｙｕｔｉｌｉｚｉｎｇｚｅｒｏｓｕｐｐｒｅｓｓｅｄｍｕｌｔｉｐｌｅｏｕｔｐｕｔｄｅｃｉｓｉｏｎｄｉａ ｇｒａｍ，ａｎｄｏｂｔａｉｎｓｍａｘｉｍ