《计算机学报》文章摘要   全文下载
文章题目	面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究
作者	李暾1) 李思昆1) 郭阳1) 万海2) 冷彪1)
作者单位	1)（国防科学技术大学计算机学院 长沙 410073） 2)(清华大学计算机科学与技术系 北京 100084)
发表年份	2004
发表月份	6期(721-728)
文章摘要	摘要 提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法.该方法在约束生成时只考虑控制语句的条件表达式，可有效避免生成冗余约束；利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题，以及处理各种HDL描述风格的问题；采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题.实验结果表明该方法能加快模拟矢量生成速度，提高路径覆盖率.生成的模拟矢量也能用于低层次设计验证和故障模拟，加快了设计进度.将该方法的原型系统用于一个32位微处理器核RTL级验证，发现了RTL级设计描述中的错误. 关键词 VLSI；模拟矢量自动生成；决策图模型；路径覆盖；约束逻辑求解 中图法分类号 TP338