论文部分内容阅读
提出了一个两级逻辑优化的新算法 .与通过函数质蕴涵集求解覆盖的传统算法不同 ,文中将求解逻辑函数的质蕴涵项与推导覆盖问题相结合 ,直接得出覆盖问题的解 .算法的主要问题可以简化为 :对于立方描述的单元 ,求解最小覆盖 .在这个过程中又提出了一种改进的覆盖吸收算法 :基于关键特征集合的选拔吸收算法 .此算法不用求所有的立方 ,通过标准的测试例子与原来的 Espresso算法作比较 ,对于大电路 ,在计算时间上 ,新算法有明显的改进