自动逻辑综合中无冗余覆盖唯一性

摘要：

指出了利用代数拓扑方法进行逻辑综合时,若逻辑函数不存在冒险,则无冗余覆盖不受ON数组排列的影响,其结果具有唯一性.

关键词：逻辑函数、最小覆盖、唯一性

所属期刊栏目：23

分类号：TP302.2(计算技术、计算机技术)

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

页数：共5页

页码：91-95