面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究 |
| |
引用本文: | 李暾,李思昆,郭阳,万海,冷彪.面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究[J].计算机学报,2004,27(6):721-728. |
| |
作者姓名: | 李暾 李思昆 郭阳 万海 冷彪 |
| |
作者单位: | 1. 国防科学技术大学计算机学院,长沙,410073 2. 清华大学计算机科学与技术系,北京,100084 |
| |
基金项目: | 国家自然科学基金 ( 60 3 0 3 0 11),国家自然科学基金重点项目基金( 90 2 0 70 19),国家“八六三”高技术研究发展计划项目基金 ( 2 0 0 2AA1Z14 80 )资助 |
| |
摘 要: | 提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法,该方法在约束生成时只考虑控制语句的条件表达式,可有效避免生成冗余约束;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题,以及处理各种HDL描述风格的问题;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题,实验结果表明该方法能加快模拟矢量生成速度,提高路径覆盖率.生成的模拟矢量也能用于低层次设计验证和故障模拟,加快了设计进度,将该方法的原型系统用于一个32位微处理器核RTL级验证,发现了RTL级设计描述中的错误.
|
关 键 词: | HDL描述 路径覆盖 模拟矢量自动生成 约束逻辑求解 VLSI |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|