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

摘要：

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

关键词：VLSI、模拟矢量自动生成、决策图模型、路径覆盖、约束逻辑求解

所属期刊栏目：27

分类号：TP338(计算技术、计算机技术)

资助基金：国家自然科学基金60303011;国家自然科学基金90207019;国家高技术研究发展计划863计划2002AA1Z1480

在线出版日期：2004-07-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：721-728