期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
利用OBDD编码的快速二值图算法(英文)
1
作者 吕关锋 苏开乐 +1 位作者 陈清亮 徐旭东 《计算机科学与探索》 CSCD 2009年第3期303-308,共6页
对利用有序二元判定图 OBDD 编码二值图像进行了研究,该方法可以节约大量的空间,并在此基础上,提出了各种二值图的算法,包括解码和集合运算(并、交、差、对称差、包含和互补)。实验结果表明这种基于OBDD 编码的方法比现有的二值图编码... 对利用有序二元判定图 OBDD 编码二值图像进行了研究,该方法可以节约大量的空间,并在此基础上,提出了各种二值图的算法,包括解码和集合运算(并、交、差、对称差、包含和互补)。实验结果表明这种基于OBDD 编码的方法比现有的二值图编码方法效率更高。 展开更多
关键词 有序二元判定图 二值 集合运算
在线阅读 下载PDF
时序电路的状态验证研究与设计 被引量:1
2
作者 何新华 吕昌龄 宫云战 《电子科学学刊》 CSCD 1997年第4期532-537,共6页
采用二元判定图(BDD)作为工具来描述时序电路是非常有意义和有效的.本文通过对BDD的简化达到对状态变换图(STG)输入、路径和状态的压缩,从而提高状态遍历的效率,另外根据电路的特点,提出状态冲突和不相交分解的启发技术以有效地完成验证.
关键词 二元判定图 状态变换 时序电路 设计
在线阅读 下载PDF
面向多输出电路的BDD拼接构造
3
作者 何新华 宫云战 魏道政 《电子科学学刊》 CSCD 1997年第3期356-360,共5页
二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程... 二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。 展开更多
关键词 标准站 IC 二元判定图 CAD
在线阅读 下载PDF
基于变量排序的BDD简化
4
作者 何新华 《电子测量与仪器学报》 CSCD 1995年第3期7-13,共7页
本文详细分析了二元判定图BDD(BinaryDecisionDiagram)的基本特征,研究了影响BDD大小的主要因素──变量的排序问题.基于多输出电路的重叠输入变量段,作者提出局部变量的动态排序策略并逐步逼近全局变量的最佳排序,试图有效地降低... 本文详细分析了二元判定图BDD(BinaryDecisionDiagram)的基本特征,研究了影响BDD大小的主要因素──变量的排序问题.基于多输出电路的重叠输入变量段,作者提出局部变量的动态排序策略并逐步逼近全局变量的最佳排序,试图有效地降低BDD的大小,从而为电路的逻辑验证和测试生成提供了有效的手段.实验证明作者提出的局部变量动态排序算法是非常有效的. 展开更多
关键词 变量 排序 节点 布尔操作 二元判定图 布尔函数
在线阅读 下载PDF
基于模型检验的规划综述
5
作者 季磊 《计算机工程与设计》 CSCD 北大核心 2007年第11期2658-2661,2670,共5页
基于模型检验的规划是当今通用的规划研究的热点,其求解效率比较高。详细阐述了基于模型检验的规划的发展与研究现状.介绍了基于模型检验的规划的基本框架,分别阐述了模型检验技术在规划领域的重要应用,并介绍了两种典型的基于模型检... 基于模型检验的规划是当今通用的规划研究的热点,其求解效率比较高。详细阐述了基于模型检验的规划的发展与研究现状.介绍了基于模型检验的规划的基本框架,分别阐述了模型检验技术在规划领域的重要应用,并介绍了两种典型的基于模型检验的规划工具,分析了今后的发展趋势。 展开更多
关键词 规划 模型检验 基于模型检验的规划 符号化 二元判定图
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部