电子工程专辑
UBM China

验证方法学必须跟上复杂IP的发展

上网日期: 2007年10月31日 ?? 作者: Roger Witlox, Ronald Heijmans, Chris Wieckardt ?? 我来评论 字号:放大 | 缩小 分享到:sina weibo tencent weibo tencent weibo


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友

关键字:验证方法学? 内核? 覆盖率?

解决冲突

除了计算每条指令的预期结果,ISS还检查该指令针对管线内其他指令的有效性。如果发现资源冲突,一个错误条件将会报告给测试生成器。该测试生成器具有“备份”和重发指令的能力,因此可以避免这些冲突。事实上,在最终测试程序中只包含无冲突的指令。

当在内核验证环境中执行每个测试程序时,ISS是与DSP RTL并行运行程序的。这两种表述经对齐后再被包含进一个e检查代码,该代码在每个管线执行周期的末端比较所有ISA定义的寄存器状态。这种能够发现主要缺陷的方法已被证明是行之有效的。在针对ISS验证RTL的过程中,也能够检测出ISS中的错误。

应用覆盖率指标

自动测试台为每项测试收集了具体的覆盖率指标。其结果是产生针对计划的全过程扫描。

除了功能覆盖点外,传统的代码覆盖方法也可用来帮助识别无法被充分测试的部分RTL代码。仿真器的本地代码覆盖功能可用来收集每次仿真测试的结果并对结果进行合并。为了产生单个的顶层覆盖视图,可以书写脚本将功能覆盖与仿真器的代码覆盖报告结合到一起。

第一步集中于进入DSS验证之前的独立内核验证过程期间指令的单独正确执行上。当然,DSP运算的其他方面,例如中断处理,是在DSS验证过程中测试并在集成验证阶段期间确认的。

转到DSS组件

在对整个子系统进行验证之前,我们先用独立的测试台对几个DSS RTL组件进行了验证,这将简化一些边界案例的执行。此外,组件的并行测试避免了验证过程中由于一定的依赖性所产生的延迟。

为了执行测试序列,采用了一个经典的基于e的测试台。记录板对结果进行跟踪以验证三个独立的DSS功能块。

在组件级验证过程的同时,DSP-IC验证工程师还开发出了用于内核的BFM,从而允许提前启动DSS验证。另外,BFM还提供了对约束随机激励的精密控制,其仿真速度快过完全的RTL实现。

图2描述了BFM的主要功能以及整个DSS验证环境。与组件级测试台类似,该环境采用eVCs和记录板来生成流量和跟踪结果。

图2.DSS的绝大多数验证利用了DSP内核的一个BFM。
图2.DSS的绝大多数验证利用了DSP内核的一个BFM。

复用优势

这种随机约束并以覆盖驱动的环境采用e编写的面向对象的功能,允许高度的验证复用。在完整的DSS验证过程中,组件级eVCs、记录板和序列都已得到复用。另外,还采用了一个商用的AXI eVC和共享的APB eVC软件,从而可以充分利用前人所做的验证工作。

就DSP内核验证而言,业已证明覆盖方法对DSS验证是非常重要的。DSS vPLAN包括一个基于架构师、设计师和验证工程师推荐的具体功能列表。当进行测试时,用于全部RTL DSS组件的代码覆盖参量被收集到一起,此外,功能覆盖结果也被收集和合并。

一项好投资

DSP-IC的验证策略在每一层都具有通用的主题:即广泛地利用随机约束激励,复杂的自动测试台环境,可执行的验证计划,以及一个对能够度量验证过程的覆盖率参量的依赖性。能够自动执行回归运行并精确地报告测试结果也很有用处。

用于开发DSP-IC先进方法的投资将会取得丰厚的汇报。Adelante VD3204x嵌入式矢量DSP核已被证明是一款高质量的DSP,极具灵活性,并且易于集成,至今已经用于多个SoC设计中。该方法被证实有助于我们目标的实现,其复用能力对VD3204x嵌入式矢量DSP系列产品的进一步发展来说也是至关重要。

作者:

  高级验证工程师Roger Witlox,

  高级验证工程师Ronald Heijmans,

  验证工程师Chris Wieckardt

NXP Semiconductors


?第一页?上一页 1???2





我来评论 - 验证方法学必须跟上复杂IP的发展
评论:
*? 您还能输入[0]字
分享到: 新浪微博 qq空间
验证码:
????????????????
?

关注电子工程专辑微信
扫描以下二维码或添加微信号“eet-china”

访问电子工程专辑手机网站
随时把握电子产业动态,请扫描以下二维码

?

5G网络在提供1Gbps至10Gbps吞吐量方面具有很好的前途, 并且功耗要求比今天的网络和手机都要低,同时还能为关键应用提供严格的延时性能。本期封面故事将会与您分享5G的关键技术发展,以及在4G网络上有怎样的进步。

?
?
有问题请反馈
推荐到论坛,赢取4积分X