基于NAXIG的面积和功耗优化算法

摘要：

与非图(and inverter graph,AIG)是一种广泛应用于逻辑综合与优化的有向无环图(directed acyclic graph,DAG),但在表示复杂函数时存在面积和功耗开销大等问题.为此,本文提出一种改进的AIG结构——与非/或非与异或非图(nand/nor and xor inverter graph,NAXIG),实现电路面积和功耗双重优化.首先,将逻辑函数表示为AIG结构;其次,在AIG中探测异或结构并将其表示为异或与非图(xor and inverter graph,XAIG);然后,对XAIG中未考虑到共享子节点的XOR结构进行探测并将其表示为与异或非图(and xor inverter graph,AXIG);最后,对AXIG 的节点和边分别进行类型和虚实转换实现NAXIG表示,进一步优化面积和功耗.实验结果表明,NAXIG相比于AIG、XAIG和AXIG,面积分别减小45.86％、36.84％和36.19％,功耗分别减小51.51％、16.58％、15.88％.

关键词：逻辑综合、有向无环图、NAXIG、面积优化、功耗优化

所属期刊栏目：36

分类号：O233;TP391.41(控制论、信息论（数学理论）)

资助基金：国家自然科学基金;温州市基础性科研项目;温州市基础性科研项目

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

页数：共8页

页码：19-25,32