基于分层超立方体的精确ESOP最小化

作     者：张巧文 汪鹏君 胡江 Zhang Qiaowen;Wang Pengjun;Hu Jiang

作者机构：宁波大学电路与系统研究所宁波315211 浙江万里学院宁波市DSP重点实验室宁波315100 

基　　金：浙江省自然科学基金(LY14F040002) 国家自然科学基金(61274132 61234002) 宁波市自然科学基金(2013A610006 2013A610008 2013A610010) 宁波市科技创新团队(2013B82009) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2016年第28卷第1期

页      码：172-179页

摘      要：针对大变量逻辑函数的ESOP最小化求解问题,提出一种面向任意完全规定逻辑函数的精确ESOP最小化方法.该方法引入逻辑函数的n维分层超立方体表示模型,采用立方体几何图形映射Exorlink操作,实现一种立方体EXOR转换图的精确最小化转换;使用立方体集合划分与变量置换完成逻辑函数的分层超立方体结构映射以减少函数覆盖;在此基础上,给出基于分层超立方体的ESOP精确最小化算法.在MCNC基准电路上的实验结果表明,与其他ESOP最小化方法相比,文中方法可在多项式计算时间内实现大变量逻辑函数的ESOP最小化.

主 题 词：逻辑综合 Reed-Muller展开 分层超立方体 ESOP最小化 

学科分类：08[工学] 0804[工学-材料学] 0701[理学-数学类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1003-9775.2016.01.021

馆 藏 号：203290014...