用VIS系统验证电路的实时特性的探讨

• 作者: 郭建 韩俊刚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: VIS系统 形式化验证 二叉判定图 实时二叉判定图
• 年，卷（期）: 2001,（17）
• 所属期刊栏目: 学术探讨
• 页码范围: 74-76
• 页数: 4页
• 分类号: TP331
• 字数: 4532字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2001.17.026

摘要

文章在分析形式化验证/综合系统VIS的基础上,改进了该电子系统中的BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础.关键技术--二叉判定图(BDD),使

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩俊刚	西安邮电学院ASIC中心	113	703	14.0	20.0
2	郭建	西安邮电学院ASIC中心	9	48	4.0	6.0