期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
对VIS系统关键技术的改进
下载PDF
职称材料
导出
摘要
本文在分析形式化验证 /综合系统VIS的基础上 ,改进了此系统中的关键技术———二叉判定图 (BDD) ,使BDD能表示电路的定时性质 ,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。
作者
郭建
韩俊刚
机构地区
西安邮电学院ASIC中心
出处
《计算机应用》
CSCD
2000年第S1期184-187,共4页
journal of Computer Applications
基金
国家自然科学基金!(694730 1 7)
关键词
VIS系统
形式化验证
二叉判定图
实时二叉判定图
分类号
TP331.1 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
5
参考文献
2
共引文献
7
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
2
1
郭建,刘建元,杜慧敏,韩俊刚,郝克刚,华庆一.
硬件描述语言VHDL到Verilog的翻译[J]
.西北大学学报（自然科学版）,2000,30(1):15-19.
被引量：4
2
赵宇虹,李忠诚,闵应骅.
带时间参数布尔函数的符号表示及其在计算电路时间延迟中的应用[J]
.计算机学报,1997,20(10):908-917.
被引量：6
二级参考文献
5
1
牛振东,徐嵩杰,刘明业.
VHDL语言分析器的设计与实现[J]
.计算机学报,1994,17(10):777-785.
被引量：10
2
Li Z，Proc IEEE Int Conf Computer Design，1997年
3
Zhao Y，Proc International Workshop on CAD, Test, and Evaluation for Dependability，1996年
4
Min Y，Proc ATS’94，1994年
5
Cheng S T，http:/www- cad.eecs.berkeley.edu/Respep/Research/vis/doc，1994年
共引文献
7
1
刘毅,臧红伟,谢克嘉,杨晋兴.
一个动态二进制翻译系统的设计与实现[J]
.西北大学学报（自然科学版）,2004,34(6):664-668.
被引量：3
2
古天龙.
一类新型抽象数据类型:有序二叉决策图[J]
.桂林电子科技大学学报,2010,30(5):374-388.
被引量：3
3
王强,郭建,刘建元.
实时二叉判定图[J]
.西安邮电学院学报,1999,4(3):1-5.
4
刘国先,张刚平.
用Verilog语言设计医用全自动真空灭菌器的程控器[J]
.中国医学装备,2012,9(10):11-14.
5
尤志强,张大方,刘先霞.
基于布尔过程论的波形和波形空间的性质及应用[J]
.电子学报,2000,28(8):107-109.
被引量：1
6
郭建,韩俊刚.
用VIS系统验证电路的实时特性的探讨[J]
.计算机工程与应用,2001,37(17):74-76.
被引量：1
7
徐飞,邓言振,刘宏辉,汪辉,赵海洋.
考虑系统运行方式的配电网分支线断线故障精确定位方法[J]
.电信科学,2024,40(3):128-135.
1
自动化技术、计算机技术[J]
.中国无线电电子学文摘,2005,0(6):113-137.
2
孙金银,李暾.
组合逻辑单元软错误可靠性分析[J]
.中国电子商情（通信市场）,2011(4):105-109.
3
杨俊,甘朝晖.
多模态门电路自动合成算法的研究[J]
.微电子学与计算机,2012,29(10):166-172.
4
苏开乐,吕关锋,宋炯.
一个高效BDD的简洁实现[J]
.计算机学报,2014,37(9):2021-2026.
被引量：2
5
艾志玮.
并行分布可视化系统JaVis的系统结构[J]
.中国工程物理研究院科技年报,2006(1):394-394.
6
季莉,朱娜.
一种基于二叉判定图的包过滤规则设计方法[J]
.计算机工程,2006,32(6):183-185.
7
李绍荣,徐玉婷.
基于BDD的组合电路等价性检验[J]
.计算机科学,2007,34(3):293-294.
8
VCC、VDD和VSS的区别[J]
.电子质量,2008(8):13-13.
9
郭建,杜惠敏,韩俊刚,郝克刚.
基于时态逻辑的硬件设计形式化验证技术——模型检验[J]
.小型微型计算机系统,2001,22(5):521-524.
被引量：5
10
王明全,于海斌.
基于遗传禁忌混合策略的二叉判定图最小化算法研究[J]
.信息与控制,2005,34(2):142-146.
计算机应用
2000年 第S1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
