%0 Journal Article
%T 自动逻辑综合中无冗余覆盖唯一性
%A 王成艳
%J 中南民族大学学报(自然科学版)
%P 91-95
%D 2004
%X 指出了利用代数拓扑方法进行逻辑综合时,若逻辑函数不存在冒险,则无冗余覆盖不受ON数组排列的影响,其结果具有唯一性.
%K 逻辑函数
%K 最小覆盖
%K 唯一性
%U http://znzk.scuec.edu.cn/ch/reader/view_abstract.aspx?file_no=200403101&flag=1