论文部分内容阅读
对不完全规定函数的无关项进行合理赋值，有助于降低其积之异或和（Exclusive-or Sum of Products，ESOP）表示的复杂度．提出一种边实施无关项赋值边进行ESOP化简的不完全规定函数的启发式ESOP最小化算法．该算法采用立方体集合表示函数，首先借助前瞻策略根据立方体间的邻近关系在Reed-Muller域实施无关项赋值，然后使用Exorlink运算进行ESOP化简，并对不能降低ESOP复杂度的无关项赋值采用回溯策略进行回溯．使用一组不同规模的MCNC（Microelectronics C