首页 > 其他分享 >Verification -- Basic Concepts ~ 2. Verification Stages

Verification -- Basic Concepts ~ 2. Verification Stages

时间:2024-04-08 18:45:30浏览次数:27  
标签:测试 验证 -- Verification 模块 Concepts 设计 级别

Verification Stages

Verification 的不同阶段可能因所使用的特定验证流程或方法而异。
但是,Verification 中的一些常见阶段包括:

  • 规划:在此阶段,定义验证目标、目的和范围,并制定验证计划。
  • 测试平台开发:此阶段设计开发一个测试平台环境,该环境可以激发设计并为测试提供适当的输入。
  • 测试创建:在此阶段,根据验证计划中指定的要求和方案创建测试。
  • 测试执行:在设计上执行上一阶段创建的测试,并分析结果。
  • 覆盖率分析:分析设计的覆盖率指标,以确定可能存在的任何覆盖率差距。
  • 调试:此阶段设计识别和解决在前面阶段发现的任何设计问题或 bug。
  • 闭合:在最后阶段,对验证结果进行分析,以确定设计是符合要求的规范,并正式结束验证过程。

level

Verification 可以在设计中的不同抽象级别或层次结构中执行。以下是一些常用的验证级别:

  • 单元级别:这是最低级别的验证,涉及验证设计中的单个模块。他通常涉及运行功能模拟和执行代码覆盖率分析。例如,4 位加法器模块。
  • 模块级别:在此级别,将多个模块集成在一起并进行验证。目标是确保在相互连接时正常工作。模块级验证通常涉及运行定向测试、随机测试和覆盖率分析。例如,DRAM 控制器。
  • 子系统级别:此级别涉及验证一组协同工作以执行特定功能的模块。在此级别,重点是验证模块之间的接口,并确保子系统满足其功能要求。例如,GPU可能由多个模块组成,例如渲染引擎,着色器核心,内存接口和显示控制器。
  • 芯片级、SOC(片上系统)级别:这是最高级别的验证,涉及验证整个芯片或SOC,包括所有子系统及其互连。目标是确保整个系统满足其功能要求并按预期工作。这通常涉及运行系统级仿真、性能分析和形式验证。例如,由处理器内核、内存控制器和多个外设 IP 块 (如 USB、以太网和 SATA)组成的 SOC。

每个级别的验证都建立在前一个级别的基础上,有助于确保最终产品满足其功能要求。

标签:测试,验证,--,Verification,模块,Concepts,设计,级别
From: https://www.cnblogs.com/sys-123456/p/18119676

相关文章

  • 列车调度
    ​描述火车站的列车调度铁轨的结构如下图所示。两端分别是一条入口(Entrance)轨道和一条出口(Exit)轨道,它们之间有N条平行的轨道。每趟列车从入口可以选择任意一条轨道进入,最后从出口离开。在图中有9趟列车,在入口处按照{8,4,2,5,3,9,1,6,7}的顺序排队等待进入。如果要求它们必须按序号递减......
  • 说说对WebSocket的理解?应用场景?
    一、是什么WebSocket,是一种网络传输协议,位于OSI模型的应用层。可在单个TCP连接上进行全双工通信,能更好的节省服务器资源和带宽并达到实时通迅客户端和服务器只需要完成一次握手,两者之间就可以创建持久性的连接,并进行双向数据传输从上图可见,websocket服务器与客户端通过握手连......
  • C ++ 标准库 第六章
    第六章标准模板库6.1STL组件(Component)容器(Container):用来管理某类对象的集合。 迭代器(Iterator):用来在一个对象集合(collectionofobjects)内遍历元素。算法(Algorithm):用来处理集合内的元素。STL的基本观念就是将数据和操作分离。数据由容器类加以管理,操作则由可定制(con......
  • Java登陆第四十一天——Promise、async关键字、await关键字
    在学习axios之前,需要学习ES6提供的Promise对象。普通函数和回调函数学习Promise的预备知识,回调函数普通函数普通函数:正常调用的函数,普通函数执行完毕后才会继续执行下一行代码。按照编码顺序执行。functionf1(){console.log("普通函数f1执行");}functionf2(......
  • 4.8
    vue:             掌握一下代码即入门vue:<!DOCTYPEhtml><htmllang="en"><head>  <metacharset="UTF-8">  <metaname="viewport"content="width=device-width,initial-scal......
  • Ubuntu 22.04安装在大容量硬盘时默认只启用100G
    背景买了长江致钛的4T硬盘,重新安装Ubuntu22.04后,发现硬盘空间只有100G。本文就是解决这个问题。安装Ubuntu的过程安装到这一步的时候,默认是100G:进入修改界面:修改界面这里显示的是100G:修改成前一步中看到的最大容量1021.996G:在这一步中,可以看到这两行都是1021......
  • 2024年最新显卡天梯图来了!三种性能测试显卡排行榜
    2024年最新显卡天梯图来了!本次带来的显卡性能测试主要利用TimeSpy、TimeSpyExtreme、PortRoyal三种不同测试方法来展现最新显卡性能情况,有了显卡天梯图我们可以实时了解显卡市场,选择适合自己需求的显卡,对于不懂显卡性能的用户显卡天梯图无疑是最好入门和理解的。2024年最新......
  • 大菜菜学习RabbitMQ——第一篇
    现在开始呢我在学MQ,首先这篇博客,如果需要借鉴的话,前提是,你要有消息队列对应的前置知识,如果没有的话可以去B站或者去其他的博客上面学习不多逼逼,现在开始首先是localhost:15672,如果你下载好了rabbitmq,这个应该是很不陌生的,对于刚开始使用者来说就是guest,但是我们其实可以添加用户......
  • 链表--移除链表元素--力扣203
    目录题目思路代码细节题目给你一个链表的头节点 head 和一个整数 val ,请你删除链表中所有满足 Node.val==val 的节点,并返回 新的头节点 。示例1:输入:head=[1,2,6,3,4,5,6],val=6输出:[1,2,3,4,5]示例2:输入:head=[],val=1输出:[]示例3:输入:h......
  • Prompt Perturbation in Retrieval-Augmented Generation based Large Language Model
    本文是LLM系列文章,针对《PromptPerturbationinRetrieval-AugmentedGenerationbasedLargeLanguageModels》的翻译。基于大语言模型的检索增强生成中的提示扰动摘要1引言2相关工作3梯度引导的提示扰动4对抗性前缀的检测5实验6结论摘要随着大型......