-
题名逻辑函数求补算法及其改进
被引量:3
- 1
-
-
作者
邱建林
王波
管致锦
刘维富
顾晖
-
机构
南通工学院信息工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第18期64-66,228,共4页
-
基金
江苏省自然科学基金(编号:BK2001130)
江苏省高校自然科学基金(编号:03KJB520103)资助
-
文摘
逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。
-
关键词
逻辑函数
递归裂变
最小项
补集描述
-
Keywords
logic function,recursion fission,minimum,complement set
-
分类号
TP302.2
[自动化与计算机技术—计算机系统结构]
TN47
[电子电信—微电子学与固体电子学]
-
-
题名对逻辑函数3种求补算法的分析
被引量:2
- 2
-
-
作者
邱建林
王波
管致锦
刘维富
-
机构
南通大学计算机科学与技术学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第4期94-96,208,共4页
-
基金
江苏省自然科学基金资助项目(BK2001130)
江苏省高校自然科学基金资助项目(03KJB520103)
南通市科委资助项目(C3024)
-
文摘
对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。
-
关键词
逻辑函数
补集
最小项
单边函数
递归裂变
-
Keywords
Logic function
Complement set
Minimum
Unate function
Recursion fission
-
分类号
TP302.2
[自动化与计算机技术—计算机系统结构]
-