AXIG及其在双逻辑综合中的应用

摘要：

逻辑电路既可以用基于”与/或/非”的传统布尔逻辑(TB逻辑)来实现,也可以用基于”与/异或”的Reed-Muller逻辑(RM逻辑)来实现,如何对给定逻辑函数进行适合逻辑实现的逻辑探测成为需要解决的第一步.本文提出了一种基于与/异或/非门(AND/XOR/INV)的双逻辑图形(AXIG)表示,然后通过优化AXIG实现逻辑函数适合逻辑实现的探测.

关键词：双逻辑、AXIG、ROBDD、布尔分解、逻辑探测

所属期刊栏目：25

分类号：TP331.2(计算技术、计算机技术)

资助基金：国家自然科学基金重点项目6113001

在线出版日期：2017-05-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：29-34,38