基于可观测性无关项的快速逻辑优化实现策略

摘要：

在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化.同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化.

关键词：逻辑综合、可观测无关项、重聚路径、许可函数

所属期刊栏目：13

分类号：TP301.6(计算技术、计算机技术)

资助基金：江苏省自然科学基金BK2001130

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

页数：共3页

页码：86-87,90