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