| 基于可观测无关项的多级逻辑优化 |
| |
| 引用本文： | 管致锦,刘维富,邱建林,顾晖.基于可观测无关项的多级逻辑优化[J].南通大学学报(自然科学版),2002,1(2):55-57. |
| |
| 作者姓名： | 管致锦 刘维富 邱建林 顾晖 |
| |
| 作者单位： | 南通工学院信息工程系,江苏,南通,226007 |
| |
| 基金项目： | 江苏省自然科学基金资助项目(BK2001130) |
| |
| 摘 要： | 文章在对可观测性无关项相关问题进行研究的基础上,给出了通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化的方法;同时对已有算法做了一定改进,以适用大输入和输出变量逻辑网络的优化。
|
| 关 键 词： | 逻辑综合 可观测无关项 重聚路径 许可函数 |
| 文章编号： | 1671-5314(2002)02-0055-03 |
Observable-don't-care-set Based Optimization for Multilevel Logic Functions |
| |
| Authors: | GUAN Zhi -jin LIU Wei -fu QIU Jian -l in GU Hui |
| |
| Abstract: | We study the observability of don' t -care sets and propose a method for m ultilevel logic optimization throu gh calcu-lating the observable don' t -care sets at the gates in a network.The maximum sets of permissible functions can be de-rived.Consequently an improved method for the design of large -scale int egrated circuits is developed. |
| |
| Keywords: | logic synthesis observable don' t -care set reconvergence path permissible function |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
