基于ROBDD的电路功耗估算方法

概率功耗估算方法和条件概率功耗估算方法估算的功耗作为优化的成本函数时,由于方法本身的局限性或忽略了电路节点特点会降低估算结果的准确度,从而影响功耗优化结果。针对上述问题,提出一种新的电路功耗估算方法。该方法采用信号概率和跳变密度,并根据约简的有序二叉决策图(ROBDD)表示逻辑函数的特点,对ROBDD节点特征分类,从而对电路进行功耗估算。实验结果表明,该方法能够较好地预测电路的功耗,且功耗估算的精度优于概率估算方法和条件概率估算方法。

基于双逻辑门级图形表示的功耗优化技术

针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性,提出逻辑函数基于传统布尔逻辑和Reed-Muller逻辑的双逻辑门级图形表示的功耗优化方法.首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示;然后通过代数分解和布尔分解获得双逻辑门级表示,进而基于功耗成本估算进行门级功耗优化;最后实现变量级和门级的两层次的优化方法.与学术界著名的ABC和工业界最先进的工具Design Compile(DC)进行比较的实验结果表明,该方法均具有一定的优势.

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

针对逻辑函数基于单一的传统布尔逻辑(TB逻辑)进行逻辑优化的局限性,提出基于TB逻辑和Reed-Muller逻辑(RM逻辑)的双逻辑图形表示的面积优化方法.首先将逻辑函数表示成以"与"、"异或"、"非"为运算集的AXIG(AND/XOR/INV graph),得到逻辑函数的双逻辑图形表示;然后将所得到的AXIG划分成适合TB逻辑和适合RM逻辑的2部分分别进行逻辑优化;最终实现逻辑函数的面积优化.实验结果表明,该方法优于已有的逻辑综合方法.

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

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