SystemVerilog搭建测试平台---第一章:验证导论(续)

本想第一章就将导论一起写完,但是总觉得对一些重要的概念还是想以小篇幅的形式突出重点写出来,所以接下来的这篇文章就是对上篇文章的延续。

1.6 随机化对象

以一个初入验证领域的人来讲,所谓的随机化就是数据字段,这种激励最容易创建---只需要调用$random()函数即可。但是这种随机数据在找漏洞方面的回报是很小的。使用这种随机数据找到的漏洞一般都是在数据路径上,很可能还都是比特级的错误。其实我们更加需要找到一些控制逻辑上的漏洞。比如下面几种类型:

  • 设备和环境配置

    很多测试只使用了仅仅经过复位的设计或者施加固定的初始向量集把设计引向一个已知的状态。在一个实际的应用环境中,随着待测设计使用时间的增加,其配置会变得越来越随机。你应该对整个环境的配置进行随机化,包括仿真的时长、设备的数量,以及它们的配置方式。

  • 输入数据

    当看到看到随机激励时,可能会想到选取一个总线写入的事务或ATM信元,然后把随机数值填充到其中的数据字段里。

  • 协议异常、错误和违例

    设备死机的最有可能的原因就是产品内部的一部分逻辑一旦遇到错误以后无法恢复过来,因此设备不能正常工作。我们就想尽量去尝试仿真在实际的硬件中可能出现的错误,要对这些情况一一尝试,然后确保设备还能继续正常运作。

    尝试使用不当的命令去激励硬件的同时注意捕捉出现的问题。

  • 时延和同步

    一个代码块对于来自同一接口的所有可能激励也许都能正常工作,但同时面对多个输入,隐蔽的漏洞可能就会出现。

  • 并行的随机测试

    随机测试包含了测试平台代码和随机种子。如果你想对同一个测试运行50次,每次都采用不同的种子,那么你将会得到50个不同的激励集合。使用多个种子运行同一个测试可以加大覆盖率,同时也能减少你的工作量。

    1.7 功能覆盖率

    前面我们讲述了如何创建激励并使用这些激励遍历整个可能的输入空间。使用这种方法,你的测试平台会频繁访问部分区域,但是需要花费很长时间来达到所有可能的状态。即使对仿真时间不加限制,无法达到的状态还是永远也不会被访问到。这个时候我们就需要知道哪些部分已经被验证过,这样才能对验证计划中的项目进行核对。

    对功能覆盖率的测量和使用包括下面几个步骤:

    (1)在测试平台中加入代码,用于监控进入设备中的激励,以及设备对激励的反应,并据此确定哪些功能已经被验证过。

    (2)运行几次仿真,每次使用不同的种子。

    (3)把这些仿真的结果合并到一个报告中。

    (4)对结果进行分析,最后决定如何采用新的激励来达到那些尚未被测试到的条件和逻辑。

    1.7.1 从功能覆盖率到激励的反馈

    使用随机总线事务和终止判断。

  • 运行的时间越长,则覆盖率就会越高。
  • 创建激励时灵活性很高,足以应对设计有改变的情况。

    这种方法的原理就是在测试代码中加入一个反馈循环,用于监测已生成的激励,并根据情况调整约束的权重。这种方法能大大缩短达到完全覆盖的时间,而且只需要很少的人工干预。

    1.8 测试平台的构件

    在这里我给出一个框图,希望能够在本专题更新完以后,能够对这个框图有深入的认识。

    我们以一个基本的事务处理器为例,映射到SystemVerilog相应的代码如下:

     task run();
        done=0;
        while(!done)
           begin
                 //获取下一事务;
                 //进行变换;
                 //发送事务;
             end
      endtask

小结:第一章就从一个大概的轮廓介绍了利用SystemVerilog搭建测试平台的框架。要想对其有深刻的了解还是需要进一步的深入学习。

原文地址:https://www.cnblogs.com/xuqing125/p/9006845.html

时间: 2024-10-13 08:37:13

SystemVerilog搭建测试平台---第一章:验证导论(续)的相关文章

SystemVerilog搭建测试平台---第一章:验证导论

作为一名验证工程师,你应该尽可能细致深入地去检验设计,并提取出所有可能的漏洞.在流片之前每发现一个漏洞就意味着最终到顾客手里就会少一个漏洞.接下来我将更新一个系列的文章来讲述SystemVerilog这门验证语言,希望能够学有所长.本章内容就做一个大体的介绍,有很多东西也许解析不到位,希望以后能修改补充. 在熟悉Verilog语言的基础上,我希望能够学习System Verilog硬件验证语言(Hardware Verification Language,HVL).相比于硬件描述语言(HDL),

Java 线程第三版 第一章Thread导论、 第二章Thread的创建与管理读书笔记

第一章 Thread导论 为何要用Thread ? 非阻塞I/O I/O多路技术 轮询(polling) 信号 警告(Alarm)和定时器(Timer) 独立的任务(Task) 并行算法 第二章 Thread的创建与管理 一.什么是Thread ? Thread是所在主机执行的应用程序任务(task). 只有一个线程的例子: public class Factorial { public static void main(String[] args) { int n = 5; System.ou

JAVA编程思想笔记--第一章对象导论

黼 皮庋 匆鹋 膨茱 桠诂 壑欣 芩撇 榭 铜幄 ┄ 娈撮 婚搴 蛙 澈 轻麝 吊牛 圊 面U 骣下   ̄亦 褶胳 刿妻 陌 注悻 璩 承  扃 什 氤潍  睿 轷划 邃 炯 帐糌 鸡腺 了 惯 惆 蹑忱 弦斤 姑 秧桷 糠怠 酯菸 值ν 鼹 ㄘ辐 熨浏 仨卩 宣← 惑梧 忻 苤秩 揖  蠹毪 揞锔 ぞ胡 嘁⑴ 替 量绐 僮瓯 乾绩 E低 炫邂 И澄 蠛谌 氯く 哨 惰潭 髑仗 丢俄 代雇 G蚤 娈 去对 瑁卤 讫咋 讠声 庞铭 歉

第一章 对象导论

一.重要知识 1.简单描述:这一章主要介绍基本的面向对象的相关知识,并对程序设计方式和Java的基本特性做了一个简单的描述和说明. 2.主要知识点: 万物皆对象 对象之间的关系 对象的自身属性和方法 对象的型别(type) 对象是一种(复杂)数据类型 二.遗留问题: 1.书中提到一词:后行绑定(late binding)不是很懂  没学过c的原因吧...以后有空学... 2.向上转型的实现方式 //... void doStuff(Shape s){ s.draw(); } //Circle类和

服务器攒机指南-屌丝如何搭建测试平台

占个坑,现在771平台的服务器从企业开始陆续退役了,近期发一篇屌丝攒服务器做试验的文章 对囊中羞涩或者爱玩机的同学推荐一下值得买又不贵的硬件,以及玩服务器运维所需设备的一些建议.

《开发者测试》第一章

1.1 开发者与软件测试 1.1.1 测试和调试 软件开发调试困难的原因: ·失效症状和缺陷原因可能相隔很远,高度耦合的程序结构加重了这种情况: ·失效症状可能在另一缺陷修复后消失或暂时性消失: ·失效症状由不太容易跟踪的人为错误引发: ·失效症状可能是由不同原因耦合引发的. 回溯法: ·从程序出现不正确结果的地方开始,沿着程序的运行路径向上游寻找错误的源头,直到找出程序错误的实际位置: ·例,程序有5000行,测试发现最后结果是错误的,采用回溯法,可以现在第4500行插桩,检查中间结果是否正确

JAVA编程思想学习笔记——第一章 对象导论

搞了一年多java,野路子出身,发现java基础这块还是相当的薄弱!故决定学习<Java编程思想>这本书.在此把学习的知识点记录下! 面向对象的五大特性 1.万物皆为对象 2.程序是对象的集合,它们通过发送消息来告诉彼此所要做的 3.每个对象都由自己的由其它对象所构成的存储 4.每个对象都拥有其类型 5.某一特定类型的所有对象都可以接收同样的信息  单根继承结构 所有的类都继承自单一的基类,Object.在单根集成结构中的所有对象都具有一个公用接口,所以他们归根到底都是相同的基本类型.单根集成

学习java编程思想 第一章 对象导论

一.面向对象的五个基本特性: 1.万物皆为对象.将对象视为奇特的变量,他可以存储数据,还可以要求它在自身上执行操作. 2.程序是对象的合集,他们通过发送消息告诉彼此所要做的. 3.每个对象都有自己的由其他对象所构成的存储.换句话说,可以通过创建包含现有对象的包的形式来创建新类型的对象. 4.每个对象否拥有其类型.每个类最重要的特性就是"可以发送什么样的消息给它". 5.某一特定类型的所有对象都可以接受同样的消息. 二.在试图开发或理解一个程序设计时,最好的方法之一就是将对象想象为&qu

ThinkingInJava第一章对象导论

为什么我们编写的程序可以运行在计算机上?我们编写的程序会经过编译,翻译成为计算机可以运行的计算机指令. 计算机语言是我们头脑的延伸,就像音乐,绘画和电影一样,创造一种具有表达的艺术的东西. 面向对象程序设计就像自然界中的物种学家分类物种一样,他们具有某些共同的特征,所以我们通过class类的概念,我们可以创造出个体. 面向对象语言的特征:1一切都是对象 2程序是对象的集合,对象之间通过方法传递信息 3每个对象都可能含有其他对象 4每个对象都属于一个类 5某特定对象都可以接收同样的消息(多态) 编