期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
一种改进的多级逻辑优化算法 被引量:1
1
作者 吕宗伟 林争辉 张镭 《上海交通大学学报》 EI CAS CSCD 北大核心 2001年第2期209-211,共3页
基于变换化简法 ,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法 .通过计算逻辑网络中门或连线处的可观测性无关项 ,可迅速得到最大允许函数集 ,从而节省了计算时间 ,并且提高了原算法的适用性 .实验结果表明 ,改进后的算... 基于变换化简法 ,提出了一种改进的适用于局部逻辑网络优化的多级逻辑优化算法 .通过计算逻辑网络中门或连线处的可观测性无关项 ,可迅速得到最大允许函数集 ,从而节省了计算时间 ,并且提高了原算法的适用性 .实验结果表明 ,改进后的算法可用于大规模集成电路的设计 . 展开更多
关键词 集成电路 计算机辅助设计 逻辑综合 可观测性无关项 允许函数 变换化简法 算法
下载PDF
一种新的计算最大允许函数集的方法
2
作者 吕宗伟 张镭 林争辉 《微电子学》 CAS CSCD 北大核心 2000年第4期227-230,共4页
变换化简法是一种通过计算逻辑网络中门或连线处的最大允许函数集来消除网络中冗余门或连线的多级逻辑优化算法。文中提出了一种新的计算门处最大允许函数集的方法。该方法通过计算逻辑网络中门处的可观测性无关项较为容易得到最大允许... 变换化简法是一种通过计算逻辑网络中门或连线处的最大允许函数集来消除网络中冗余门或连线的多级逻辑优化算法。文中提出了一种新的计算门处最大允许函数集的方法。该方法通过计算逻辑网络中门处的可观测性无关项较为容易得到最大允许函数集。实验结果表明,该方法在计算时间上明显优于原来的计算方法。 展开更多
关键词 变换化简法 逻辑优化 允许函数 可观测性无关项
下载PDF
用二值逻辑对多值逻辑进行优化
3
作者 邱建林 王波 +2 位作者 管致锦 刘维富 顾晖 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期682-686,共5页
提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻... 提出以二值多输出逻辑优化软件OPLG为基础 ,对多值逻辑函数进行逻辑优化的方法 通过对多值变量、多值函数的二进制矢量描述 ,将多值多维体转换为布尔表达式积项形式 从多值多维体的多值最小项出发 ,给出计算基本无关集的方法 对多值逻辑函数的优化通过调用二值逻辑优化软件OPLG(允许的最大输入、输出变量之和为30 0 )来实现 。 展开更多
关键词 多值最小项 二值逻辑 多值多维体 基本无关集 多值函数 优化算法
下载PDF
基于动态计算可观测性无关项的OBDD变量序算法
4
作者 吕宗伟 林争辉 《微电子学》 CAS CSCD 北大核心 2001年第3期173-176,共4页
OBDD是一种表示和操纵布尔函数的有效方法。由于许多布尔运算都可以转换为 OBDD图的运算 ,因此 ,OBDD在集成电路设计领域 ,如逻辑综合、验证以及测试生成等 ,得到了广泛的应用。但是 ,OBDD的大小则严重依赖于变量序 ,为了实现 OBDD的有... OBDD是一种表示和操纵布尔函数的有效方法。由于许多布尔运算都可以转换为 OBDD图的运算 ,因此 ,OBDD在集成电路设计领域 ,如逻辑综合、验证以及测试生成等 ,得到了广泛的应用。但是 ,OBDD的大小则严重依赖于变量序 ,为了实现 OBDD的有效操作 ,寻找一个好的变量序是非常重要的。基于此 ,文章提出了一个新的寻找 OBDD变量序的启发式算法 ,它通过动态计算原始输入变量的可观测性无关项来确定一个好的变量序。实验结果表明 ,对于大部分电路 。 展开更多
关键词 变量序算法 可观测性无关项 动态计算 OBDD 布尔函数
下载PDF
基于可观测性无关项的快速逻辑优化实现策略
5
作者 管致锦 张义清 邱建林 《微机发展》 2003年第6期86-87,90,共3页
在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化。同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的... 在对可观测性无关项相关问题进行研究的基础上,通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化。同时对已有算法做了一定改进,给出了SANDTNT算法,以适用大输入和输出变量逻辑网络的优化。 展开更多
关键词 VLSI 超大规模集成电路 快速逻辑优化 可观测性无关项 逻辑综合 SANDTNT算法
下载PDF
基于可观测无关项的多级逻辑优化
6
作者 管致锦 刘维富 +1 位作者 邱建林 顾晖 《南通工学院学报(自然科学版)》 2002年第2期55-57,共3页
文章在对可观测性无关项相关问题进行研究的基础上,给出了通过计算逻辑网络中门的可观测无关项,得到最大允许函数集,依此来消除网络中冗余门,进行逻辑设计优化的方法;同时对已有算法做了一定改进,以适用大输入和输出变量逻辑网络的优化。
关键词 逻辑综合 可观测无关项 重聚路径 许可函数
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部