标签:https 时延 ril 工作 无法 就会 tps 判断 命令
本想第一章就将导论一起写完,但是总觉得对一些重要的概念还是想以小篇幅的形式突出重点写出来,所以接下来的这篇文章就是对上篇文章的延续。
以一个初入验证领域的人来讲,所谓的随机化就是数据字段,这种激励最容易创建---只需要调用$random()函数即可。但是这种随机数据在找漏洞方面的回报是很小的。使用这种随机数据找到的漏洞一般都是在数据路径上,很可能还都是比特级的错误。其实我们更加需要找到一些控制逻辑上的漏洞。比如下面几种类型:
并行的随机测试
随机测试包含了测试平台代码和随机种子。如果你想对同一个测试运行50次,每次都采用不同的种子,那么你将会得到50个不同的激励集合。使用多个种子运行同一个测试可以加大覆盖率,同时也能减少你的工作量。
前面我们讲述了如何创建激励并使用这些激励遍历整个可能的输入空间。使用这种方法,你的测试平台会频繁访问部分区域,但是需要花费很长时间来达到所有可能的状态。即使对仿真时间不加限制,无法达到的状态还是永远也不会被访问到。这个时候我们就需要知道哪些部分已经被验证过,这样才能对验证计划中的项目进行核对。
对功能覆盖率的测量和使用包括下面几个步骤:
(1)在测试平台中加入代码,用于监控进入设备中的激励,以及设备对激励的反应,并据此确定哪些功能已经被验证过。
(2)运行几次仿真,每次使用不同的种子。
(3)把这些仿真的结果合并到一个报告中。
(4)对结果进行分析,最后决定如何采用新的激励来达到那些尚未被测试到的条件和逻辑。
创建激励时灵活性很高,足以应对设计有改变的情况。
这种方法的原理就是在测试代码中加入一个反馈循环,用于监测已生成的激励,并根据情况调整约束的权重。这种方法能大大缩短达到完全覆盖的时间,而且只需要很少的人工干预。
在这里我给出一个框图,希望能够在本专题更新完以后,能够对这个框图有深入的认识。
我们以一个基本的事务处理器为例,映射到SystemVerilog相应的代码如下:
task run();
done=0;
while(!done)
begin
//获取下一事务;
//进行变换;
//发送事务;
end
endtask
小结:第一章就从一个大概的轮廓介绍了利用SystemVerilog搭建测试平台的框架。要想对其有深刻的了解还是需要进一步的深入学习。
SystemVerilog搭建测试平台---第一章:验证导论(续)
标签:https 时延 ril 工作 无法 就会 tps 判断 命令
原文地址:https://www.cnblogs.com/xuqing125/p/9006845.html