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