马雪娇
- 作品数：3 被引量：3H指数：1
- 供职机构：宁波大学信息科学与工程学院电路与系统研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于双逻辑门级图形表示的功耗优化技术被引量：3
- 2017年
- 针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性,提出逻辑函数基于传统布尔逻辑和Reed-Muller逻辑的双逻辑门级图形表示的功耗优化方法.首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示;然后通过代数分解和布尔分解获得双逻辑门级表示,进而基于功耗成本估算进行门级功耗优化;最后实现变量级和门级的两层次的优化方法.与学术界著名的ABC和工业界最先进的工具Design Compile(DC)进行比较的实验结果表明,该方法均具有一定的优势.
- 马雪娇厉琼莹张骏立夏银水
- 关键词：低功耗
- 基于AXIG重构的功耗优化
- 2018年
- 功耗优化是逻辑综合中的重要部分.针对现有功耗优化仅用单一逻辑实现的局限性,提出一种基于与-非图节点重构和与-异或-非图变量重构的功耗优化方法.首先以功耗为主要优化目标,将逻辑函数表示为与-非图并进行节点重构,得到与-异或-非图实现函数表示由单一逻辑到双逻辑的变换;然后在与-异或-非图中搜索模式图,由变量重构得到其等价模式图;最后根据模式图特征选取最优匹配子图进一步优化功耗.实验在Linux系统下采用C语言实现,结果表明,与优化工具ABC,AIG重写和AXIG优化方法相比,该方法的功耗分别减少24.56%,21.75%和9.39%.
- 马雪娇夏银水尹浩凯
- 关键词：逻辑综合功耗优化模式图
- 逻辑函数基于AXIG实现面积优化
- 2017年
- 该文提出了一种逻辑函数基于与/异或/非图(And-Xor-Inverter graph,AXIG)的双逻辑优化与映射方法:通过AXIG结构表示TBL和RML,选择不同的XOR结构进行图压缩,并对映射过程中的局部逻辑结构重映射,最终实现逻辑函数的面积优化方法。实验结果表明,与学术界逻辑综合优化工具ABC相比,平均AXIG节点数明显减少,电路中的晶体管数具有一定改进。
- 赵思思夏银水马雪娇吴世雄
- 关键词：工艺映射
