赵思思
- 作品数：2 被引量：1H指数：1
- 供职机构：宁波大学信息科学与工程学院电路与系统研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- AXIG及其基于双逻辑的面积优化被引量：1
- 2017年
- 针对逻辑函数基于单一的传统布尔逻辑(TB逻辑)进行逻辑优化的局限性,提出基于TB逻辑和Reed-Muller逻辑(RM逻辑)的双逻辑图形表示的面积优化方法.首先将逻辑函数表示成以"与"、"异或"、"非"为运算集的AXIG(AND/XOR/INV graph),得到逻辑函数的双逻辑图形表示;然后将所得到的AXIG划分成适合TB逻辑和适合RM逻辑的2部分分别进行逻辑优化;最终实现逻辑函数的面积优化.实验结果表明,该方法优于已有的逻辑综合方法.
- 赵思思夏银水张骏立厉琼莹
- 关键词：面积优化
- 逻辑函数基于AXIG实现面积优化
- 2017年
- 该文提出了一种逻辑函数基于与/异或/非图(And-Xor-Inverter graph,AXIG)的双逻辑优化与映射方法:通过AXIG结构表示TBL和RML,选择不同的XOR结构进行图压缩,并对映射过程中的局部逻辑结构重映射,最终实现逻辑函数的面积优化方法。实验结果表明,与学术界逻辑综合优化工具ABC相比,平均AXIG节点数明显减少,电路中的晶体管数具有一定改进。
- 赵思思夏银水马雪娇吴世雄
- 关键词：工艺映射
