论文部分内容阅读
随着微处理器复杂度的不断提高，用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法，首先利用功能抽象的方法得出微处理器的图模型，然后由基于图模型功能覆盖的代码生成算法生成验证代码。我们将这种方法应用于一款DSP的功能验证，结果显示在很短的验证代码激励下得到了较高的代码覆盖率。