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