用关键特征集对逻辑进行优化

摘要：

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

关键词：逻辑综合、关键特征集、质项集、最小项

所属期刊栏目：13

分类号：TN47(微电子学、集成电路（IC）)

资助基金：美国国家科学基金;国家自然科学基金9602485

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：860-864