基于AXIG重构的功耗优化

摘要：

功耗优化是逻辑综合中的重要部分. 针对现有功耗优化仅用单一逻辑实现的局限性, 提出一种基于与-非图节点重构和与-异或-非图变量重构的功耗优化方法. 首先以功耗为主要优化目标, 将逻辑函数表示为与-非图并进行节点重构, 得到与-异或-非图实现函数表示由单一逻辑到双逻辑的变换; 然后在与-异或-非图中搜索模式图,由变量重构得到其等价模式图; 最后根据模式图特征选取最优匹配子图进一步优化功耗. 实验在 Linux 系统下采用 C 语言实现, 结果表明, 与优化工具 ABC, AIG 重写和 AXIG 优化方法相比, 该方法的功耗分别减少 24.56%, 21.75%和9.39%.

关键词：逻辑综合、功耗优化、与-异或-非图、节点和变量重构、模式图

所属期刊栏目：30

分类号：TP391.41(计算技术、计算机技术)

资助基金：国家自然科学基金-浙江两化融合联合基金重点项目U1709218;国家自然科学基金61571248

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

页数：共9页

页码：2344-2352