AXIG及其基于双逻辑的面积优化

发布时间：2018-01-11 02:21

  本文关键词：AXIG及其基于双逻辑的面积优化　出处：《计算机辅助设计与图形学学报》2017年07期 　论文类型：期刊论文

  更多相关文章： Reed-Muller逻辑 与异或非图 分解 面积优化

【摘要】：针对逻辑函数基于单一的传统布尔逻辑(TB逻辑)进行逻辑优化的局限性,提出基于TB逻辑和Reed-Muller逻辑(RM逻辑)的双逻辑图形表示的面积优化方法.首先将逻辑函数表示成以"与"、"异或"、"非"为运算集的AXIG(AND/XOR/INV graph),得到逻辑函数的双逻辑图形表示;然后将所得到的AXIG划分成适合TB逻辑和适合RM逻辑的2部分分别进行逻辑优化;最终实现逻辑函数的面积优化.实验结果表明,该方法优于已有的逻辑综合方法.
[Abstract]:This paper aims at the limitation of logic function optimization based on single traditional Boolean logic / TB logic. An area optimization method based on TB logic and Reed-Muller logic / RM logic is proposed. Firstly, the logical function is expressed as "and", "XOR". The "non-" is the AXIG(AND/XOR/INV graph of the operation set, and the double logical graph representation of the logical function is obtained. Then the AXIG is divided into two parts which are suitable for TB logic and RM logic for logic optimization. Finally, the area optimization of logic function is realized. The experimental results show that this method is superior to the existing logic synthesis method.
【作者单位】： 宁波大学电路与系统研究所;
【基金】：国家自然科学基金(61571248,6113001)
【分类号】：TN791
【正文快照】： 数字逻辑电路既可以采用基于与/或/非(AND/OR/NOT)运算的传统布尔(traditional Boolean,TB)逻辑来实现,也可以采用基于与/异或(AND/XOR),或/同或(OR/XNOR)运算的Reed-Muller(RM)逻辑来实现.与TB逻辑相比,RM逻辑不仅具有良好的可测性,为解决现今集成电路设计中存在的“验证”难

【参考文献】

相关期刊论文 前5条

1 梁浩;夏银水;钱利波;黄春蕾;;低功耗三输入AND/XOR门的设计[J];计算机辅助设计与图形学学报;2015年05期

2 王伦耀;夏银水;陈偕雄;;逻辑函数的双逻辑综合与优化[J];计算机辅助设计与图形学学报;2012年07期

3 范全润;段振华;徐国培;;用AIG推理检验组合电路的等价性[J];西安电子科技大学学报;2009年05期

4 叶锡恩;毛科益;夏银水;;基于乘积项的双逻辑实现探测算法[J];电子学报;2009年05期

5 夏银水;毛科益;叶锡恩;;逻辑函数适于双逻辑实现的探测算法[J];计算机辅助设计与图形学学报;2007年12期

【共引文献】

相关期刊论文 前10条

1 梁华国;李昕;王志;黄正峰;;抗单粒子翻转的低功耗锁存器设计[J];计算机辅助设计与图形学学报;2017年08期

2 瞿婷;王伦耀;夏银水;储著飞;;逻辑函数高阶布尔c-偏导数求解的算法实现[J];计算机辅助设计与图形学学报;2017年08期

3 赵思思;夏银水;张骏立;厉琼莹;;AXIG及其基于双逻辑的面积优化[J];计算机辅助设计与图形学学报;2017年07期

4 马雪娇;厉琼莹;张骏立;夏银水;;基于双逻辑门级图形表示的功耗优化技术[J];计算机辅助设计与图形学学报;2017年03期

5 周清军;刘红侠;;SoC中的伪双口RAM优化设计方法及应用[J];计算机辅助设计与图形学学报;2017年02期

6 符强;汪鹏君;童楠;王铭波;张会红;;基于MODPSO算法的FPRM电路多约束极性优化方法[J];电子与信息学报;2017年03期

7 岑旭梦;王伦耀;夏银水;;基于逻辑复合门映射的电路面积优化[J];宁波大学学报(理工版);2016年04期

8 黄正峰;钱栋良;梁华国;易茂祥;欧阳一鸣;闫爱斌;;65nm工艺下单粒子加固锁存器设计[J];计算机辅助设计与图形学学报;2016年08期

9 阳媛;夏银水;钱利波;;低能耗三输入AND/XOR门的设计[J];微电子学与计算机;2016年08期

10 张骏立;夏银水;厉琼莹;;AXIG及其在双逻辑综合中的应用[J];无线通信技术;2016年02期

【二级参考文献】

相关期刊论文 前9条

1 王伦耀;夏银水;陈偕雄;;逻辑函数的双逻辑综合与优化[J];计算机辅助设计与图形学学报;2012年07期

2 A.E.A.ALMAINI;;Reed-Muller function optimization techniques with onset table[J];Journal of Zhejiang University-Science C(Computers & Electronics);2011年04期

3 ;A detection method for logic functions suitable for dual-logic synthesis[J];Progress in Natural Science;2009年10期

4 叶锡恩;毛科益;夏银水;;基于乘积项的双逻辑实现探测算法[J];电子学报;2009年05期

5 张海宾;段振华;;多速率混合系统的模型检查[J];西安电子科技大学学报;2008年01期

6 夏银水;毛科益;叶锡恩;;逻辑函数适于双逻辑实现的探测算法[J];计算机辅助设计与图形学学报;2007年12期

7 郭建;金乃咏;;模型检验中对CTL公式的空属性探测[J];西安电子科技大学学报;2007年05期

8 姚茂群;方平;陈偕雄;;基于表格法的RM展开系数与或-符合展开系数的转换[J];浙江大学学报(理学版);2006年04期

9 程捷,陈偕雄;函数RM展开式和CRM展开式的图形转换法[J];电路与系统学报;2003年04期

，

本文编号：1407749