高级检索
张巧文, 汪鹏君, 胡江. 基于分层超立方体的精确ESOP最小化[J]. 计算机辅助设计与图形学学报, 2016, 28(1): 172-179.
引用本文: 张巧文, 汪鹏君, 胡江. 基于分层超立方体的精确ESOP最小化[J]. 计算机辅助设计与图形学学报, 2016, 28(1): 172-179.
Zhang Qiaowen, Wang Pengjun, Hu Jiang. Exact Minimization of ESOP Expressions Based on Hierarchical Hypercube[J]. Journal of Computer-Aided Design & Computer Graphics, 2016, 28(1): 172-179.
Citation: Zhang Qiaowen, Wang Pengjun, Hu Jiang. Exact Minimization of ESOP Expressions Based on Hierarchical Hypercube[J]. Journal of Computer-Aided Design & Computer Graphics, 2016, 28(1): 172-179.

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

Exact Minimization of ESOP Expressions Based on Hierarchical Hypercube

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

     

    Abstract: To cope with the problem of minimization of exclusive-or sum-of-products(ESOP) expressions for large logic functions, a minimization method is proposed that finds an exact ESOP expression for an arbitrary completely specified function. The n-dimensional hierarchical hypercube(HHC) model is presented to represent logic functions, and a cube EXOR-based transformation diagram is introduced to obtain exact solutions, based on cube geometrical mapping of Exorlink operation. The method also uses a reduced covering function by mapping logic function into HHC model after cube grouping and variable permutation. Then an exact ESOP minimization algorithm based on HHC is obtained. Experimental results on MCNC benchmark circuits show that, in comparison with existing algorithms, the proposed method can be used to find a minimum ESOP expression of a given n-variable function in polynomial time.

     

/

返回文章
返回