《UVM实战》——2.1节验证平台的组成

简介:

本节书摘来自华章社区《UVM实战》一书中的第2章,第2.1节验证平台的组成,作者 张 强,更多章节内容可以访问云栖社区“华章社区”公众号查看

第2章
一个简单的UVM验证平台

2.1 验证平台的组成
验证用于找出DUT中的bug,这个过程通常是把DUT放入一个验证平台中来实现的。一个验证平台要实现如下基本功能:
验证平台要模拟DUT的各种真实使用情况,这意味着要给DUT施加各种激励,有正常的激励,也有异常的激励;有这种模式的激励,也有那种模式的激励。激励的功能是由driver来实现的。
验证平台要能够根据DUT的输出来判断DUT的行为是否与预期相符合,完成这个功能的是记分板(scoreboard,也被称为checker,本书统一以scoreboard来称呼)。既然是判断,那么牵扯到两个方面:一是判断什么,需要把什么拿来判断,这里很明显是DUT的输出;二是判断的标准是什么。
验证平台要收集DUT的输出并把它们传递给scoreboard,完成这个功能的是monitor。
验证平台要能够给出预期结果。在记分板中提到了判断的标准,判断的标准通常就是预期。假设DUT是一个加法器,那么当在它的加数和被加数中分别输入1,即输入1+1时,期望DUT输出2。当DUT在计算1+1的结果时,验证平台也必须相应完成同样的过程,也计算一次1+1。在验证平台中,完成这个过程的是参考模型(reference model)。
一个简单的验证平台框图如图2-1所示。在UVM中,引入了agent和sequence的概念,因此UVM中验证平台的典型框图如图2-2所示。
从下一节开始,将从只有一个driver的最简单的验证平台开始,一步一步搭建如图2-2所示的验证平台。


3cad4bb1bbefa0f0db5251aa6c62e5cc4353f982


20931b6e376d0d96f33ae49b48f1fa8ec45b095a
相关文章
|
6月前
|
存储 机器学习/深度学习 缓存
软考软件评测师——计算机组成与体系结构(分级存储架构)
本内容全面解析了计算机存储系统的四大核心领域:虚拟存储技术、局部性原理、分级存储体系架构及存储器类型。虚拟存储通过软硬件协同扩展内存,支持动态加载与地址转换;局部性原理揭示程序运行特性,指导缓存设计优化;分级存储架构从寄存器到外存逐级扩展,平衡速度、容量与成本;存储器类型按寻址和访问方式分类,并介绍新型存储技术。最后探讨了存储系统未来优化趋势,如异构集成、智能预取和近存储计算等,为突破性能瓶颈提供了新方向。
|
7月前
|
数据采集 机器学习/深度学习 人工智能
代理IP:企业AI应用的隐形加速器与合规绞索
代理IP作为企业AI应用的重要基础设施,既是效率提升的加速器,也可能成为合规风险的来源。它通过技术演进重塑数据采集、模型训练与安全防护等核心环节,如智能路由、量子加密和边缘计算等创新方案显著优化性能。然而,全球法规(如GDPR)对数据流动提出严格要求,促使企业开发自动化合规审计系统应对挑战。未来,代理IP将向智能路由3.0、PaaS服务及量子网络方向发展,成为连接物理与数字世界的神经网络。企业在享受其带来的效率增益同时,需构建技术、法律与伦理三位一体的防护体系以规避风险。
201 0
|
8月前
|
自然语言处理 前端开发 Cloud Native
吐血整理Bolt.diy 部署与应用攻略
Bolt.diy 是一款无需代码基础即可创建个性化网站的工具,基于阿里云函数计算 FC 和百炼大模型服务,通过自然语言交互实现全栈开发。用户只需描述需求,Bolt.diy 即可快速生成网站,支持灵活定制与二次开发。部署简单,提供免费试用额度,适合从初学者到专业开发者各类人群。无论是快速原型设计、教育工具开发还是企业级应用,Bolt.diy 均展现出高效与便捷的优势。然而,新手可能需要更多时间熟悉云服务配置与高级功能。
753 3
|
9月前
|
机器学习/深度学习 人工智能 运维
使用AI进行系统调优:给系统装上“智能大脑”
使用AI进行系统调优:给系统装上“智能大脑”
416 10
|
敏捷开发 存储 开发工具
版本控制系统的选择:Git与SVN的比较
【8月更文挑战第14天】Git和SVN都是优秀的版本控制系统,它们各自具有独特的优势和适用场景。在选择版本控制系统时,需要根据具体的项目需求、团队特点和开发模式来综合考量。对于需要分布式团队协作、高效处理大型项目或采用敏捷开发模式的团队来说,Git是一个更好的选择。而对于传统团队、集中式开发或简单项目来说,SVN可能更加合适。无论选择哪种版本控制系统,都应该充分利用其提供的工具和功能来提高代码质量和开发效率。
|
10月前
|
安全 量子技术 云计算
揭秘量子纠缠与量子通信:未来信息技术的革命
揭秘量子纠缠与量子通信:未来信息技术的革命
576 5
|
10月前
|
人工智能 测试技术
LIMO:上海交大推出高效推理方法,仅需817条训练样本就能激活大语言模型的复杂推理能力
LIMO 是由上海交通大学推出的一种高效推理方法,通过极少量的高质量训练样本激活大语言模型的复杂推理能力。
442 11
|
缓存 小程序 安全
微信小程序性能优化的未来发展趋势
【10月更文挑战第21天】
496 59
都8102年了,还用fastq-dump,快换fasterq-dump吧
之前写过一篇文章Fastq-dump: 一个神奇的软件, 详细介绍了fastq-dump的用法。 虽然fastq-dump参数很多,而且一直被吐槽参数说明写的太差,但是如果真的要用起来其实也就是一行代码 fastq-dump --gzip --split-3 --defline-qual '+' --defline-seq '@$ac-$si/$ri' SRRXXXXX| SRRXXXX.sra # 加上--gzip后需要时间进行文件压缩 当然除了参数问题,还有一个让人诟病的地方就是他只能单个线程,所以速度特别的慢。
5425 0
都8102年了,还用fastq-dump,快换fasterq-dump吧
|
云安全 运维 监控
过三级等保测评要用到的“堡垒机”是什么?
堡垒机,即运维审计系统,位于内外网络间,作为安全防护设备,确保所有远程访问均通过其进行,严格控制并记录访问行为,保障内部网络资源安全。其核心功能包括访问控制、操作审计、多因素身份认证、安全隔离、会话管理和策略执行。使用堡垒机可降低人为安全风险,简化账号管理,提升工作效率,并确保企业符合行业标准和法规要求。德迅云安全堡垒机则提供多云主机资产运维审计,涵盖多种协议,支持双因素认证及自动化运维,确保安全审计合规、高效易用。