基于双逻辑门级图形表示的功耗优化技术-计算机辅助设计与图形学学报.pdfVIP

第29 卷 第3 期 计算机辅助设计与图形学学报 Vol. 29 No.3 2017 年3 月 Journal of Computer-Aided Design Computer Graphics Mar. 2017 基于双逻辑门级图形表示的功耗优化技术 马雪娇, 厉琼莹, 张骏立, 夏银水* (宁波大学电路与系统研究所 宁波 315211) (xiayinshui@) : 针对现有基于传统布尔逻辑进行逻辑级功耗优化的局限性, 提出逻辑函数基于传统布尔逻辑和 Reed-Muller 逻辑的双逻辑门级图形表示的功耗优化方法. 首先在逻辑级采用简化有序二叉决策图实现逻辑函数的双逻辑表示; 然后通过代数分解和布尔分解获得双逻辑门级表示, 进而基于功耗成本估算进行门级功耗优化; 最后实现变量级和 门级的两层次的优化方法. 与学术界著名的ABC 和工业界最先进的工具Design Compile(DC)进行比较的实验结果表 明, 该方法均具有一定的优势. ：