期刊文献+

蕴涵项的扩展算法 被引量:1

An Expansion Algorithm for Implicants
在线阅读 下载PDF
导出
摘要 本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法。用此算法得到的本源蕴涵项集合通过去冗过程产生的最后结果最接近绝对最小化的解。 An algorithm to expand a product term into a prime implicant is presented.The final result,which is gained by using this algorithm through irredundant procedure,is most close to minimized solution.
作者 王波
出处 《计算机工程与科学》 CSCD 2000年第2期5-7,共3页 Computer Engineering & Science
关键词 蕴涵项 扩展算法 逻辑函数 最小化算法 计算机 blocking matrix covering matrix column cover column elimination row elimination
  • 相关文献

共引文献2

同被引文献4

  • 1刘明业.计算机辅助逻辑设计理论[M].北京:科学出版社,1995.254-258.
  • 2[4]Brayton R. Logic minimization algorithms for VLSI synthesis [M]. Boston MA: Kluwer Academic, 1984.
  • 3[5]Hachte l G, Somenzi F. Logic synthesis and verification algorithms [M]. Norwell MA: Kluwer, 1996.
  • 4[6]Drechsler R.Using lower bounds during dynamic BDD minimization[J] .IEEE Trans on CAD,2001,51-57.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部