面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

• 作者: 万海 冷彪 李思昆 李暾 郭阳
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: VLSI 模拟矢量自动生成 决策图模型 路径覆盖 约束逻辑求解
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 721-728
• 页数: 8页
• 分类号: TP338
• 字数: 6719字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2004.06.001

摘要

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法.该方法在约束生成时只考虑控制语句的条件表达式,可有效避免生成冗余约束;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题,以及处理各种HDL描述风格的问题;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题.实验结果表明该方法能加快模拟矢量生成速度,提高路径覆盖率.生成的模拟矢量也能用于低层次设计验证和故障模拟,加快了设计进度.将该方法的原型系统用于一个32位微处理器核RTL级验证,发现了RTL级设计描述中的错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	李暾	国防科学技术大学计算机学院	29	182	7.0	12.0
3	李思昆	国防科学技术大学计算机学院	133	1339	18.0	31.0
4	冷彪	国防科学技术大学计算机学院	2	2	1.0	1.0
5	万海	清华大学计算机科学与技术系	2	3	1.0	1.0