uvm sequence
UVM Sequence 是验证环境中生成和控制事务(Transaction)流的核心机制,它通过动态生成、随机化和调度事务,实现灵活多样的测试场景。以下是Sequence的详细解析:
Sequence 的核心作用
- 事务流生成:通过
uvm_sequence
类定义事务的生成逻辑(如顺序、随机化、约束)。 - 场景控制:支持层次化、并发、优先级调度等复杂场景。
- 复用性:可跨测试用例复用,提升验证效率。
- 动态配置:通过Factory机制替换Sequence,快速切换测试模式。
Sequence 的基本结构
Sequence继承自 uvm_sequence
类,需定义 body()
任务实现事务流逻辑。
1. 定义与注册
class basic_sequence extends uvm_sequence;`uvm_object_utils(basic_sequence) // 注册到Factory// 构造函数(可选)function new(string name = "basic_sequence");super.new(name);endfunction// 核心方法:定义事务生成逻辑virtual task body();// 生成并发送事务endtask
endclass
2. 生成事务的典型流程
task body();my_transaction tr; // 定义事务对象repeat(10) begin// 创建事务对象tr = my_transaction::type_id::create("tr");// 启动事务发送流程start_item(tr); // 请求Sequencer的仲裁权限assert(tr.randomize()); // 随机化事务finish_item(tr); // 发送事务到Driverend
endtask
Sequence 的关键机制
1. 与 Sequencer 和 Driver 的交互
- Sequencer:仲裁Sequence的优先级,管理事务发送顺序。
- Driver:通过
get_next_item()
获取事务,驱动到DUT。 - 数据流:
Sequence -> Sequencer -> Driver -> DUT
2. 事务发送方法
-
uvm_do
宏:简化事务创建、随机化和发送流程。task body();repeat(5) begin`uvm_do(tr) // 等价于:create -> start_item -> randomize -> finish_itemend endtask
-
uvm_do_with
宏:添加内联约束。`uvm_do_with(tr, { tr.addr inside {[0x100:0x200]}; })
3. 层次化 Sequence
- 嵌套调用:一个Sequence可以启动其他Sequence。
task body();// 启动另一个Sequence(如配置寄存器的Sequence)config_sequence seq = config_sequence::type_id::create("seq");seq.start(m_sequencer); // 绑定到当前Sequencer endtask
4. 虚拟 Sequence(Virtual Sequence)
- 作用:协调多个Agent的Sequencer,实现跨接口的同步场景。
- 实现:
- 定义虚拟Sequence类。
- 在Test中启动虚拟Sequence,并传递多个Sequencer句柄。
class virtual_sequence extends uvm_sequence;uvm_sequencer eth_seqr; // 以太网接口Sequenceruvm_sequencer pcie_seqr; // PCIe接口Sequencertask body();forketh_sequence.start(eth_seqr);pcie_sequence.start(pcie_seqr);joinendtask endclass
Sequence 的高级特性
1. 随机化控制
-
动态约束:通过
constraint_mode()
动态启用/禁用约束。tr = my_transaction::type_id::create("tr"); tr.valid_addr.constraint_mode(0); // 关闭地址约束 assert(tr.randomize());
-
权重分布:使用
dist
控制字段的随机概率。constraint wr_ratio {wr_en dist {1 := 70, 0 := 30}; // 70%写操作,30%读操作 }
2. 同步与等待
-
事件同步:使用
uvm_event
实现跨Sequence同步。uvm_event sync_event = new();// Sequence A task body();// ... 执行操作sync_event.trigger(); // 触发事件 endtask// Sequence B task body();sync_event.wait_trigger(); // 等待事件 endtask
-
延迟控制:插入固定或随机延迟。
repeat(3) begin`uvm_do(tr)#10ns; // 插入延迟 end
3. 优先级与仲裁
-
优先级设置:通过
start()
方法的参数指定优先级。high_priority_seq.start(m_sequencer, this, 500); // 优先级=500(默认=100)
-
Sequencer仲裁:Sequencer根据优先级调度多个Sequence。
4. Factory 重载
- 动态替换Sequence:在Test中覆盖默认Sequence类型。
class debug_sequence extends basic_sequence;`uvm_object_utils(debug_sequence)// 添加调试逻辑 endclass// 在Test中替换 initial begindebug_sequence::type_id::set_type_override(basic_sequence::get_type()); end
Sequence 的生命周期方法
pre_body()
:在body()
前执行,用于初始化或配置。post_body()
:在body()
后执行,用于清理或结束操作。pre_do()
/mid_do()
/post_do()
:细粒度控制事务发送过程。
task pre_body();`uvm_info("SEQ", "Sequence started", UVM_LOW)
endtasktask post_body();`uvm_info("SEQ", "Sequence completed", UVM_LOW)
endtask
典型应用场景
1. 基础激励生成
class write_sequence extends uvm_sequence;task body();my_transaction tr;repeat(20) begin`uvm_do_with(tr, { tr.wr_en == 1; tr.addr inside {[0x100:0x1FF]}; })endendtask
endclass
2. 协议场景测试
class burst_sequence extends uvm_sequence;task body();// 发送配置命令config_sequence cfg_seq;cfg_seq = config_sequence::type_id::create("cfg_seq");cfg_seq.start(m_sequencer);// 发送突发传输事务`uvm_do_with(tr, { tr.burst_length == 8; })endtask
endclass
3. 错误注入测试
class error_sequence extends uvm_sequence;task body();my_transaction tr;`uvm_do_with(tr, { tr.error == 1; }) // 强制生成错误事务endtask
endclass
调试与最佳实践
-
日志输出:使用
uvm_info
跟踪Sequence执行状态。`uvm_info("SEQ", $sformatf("Sent transaction: addr=0x%h", tr.addr), UVM_MEDIUM)
-
约束调试:使用
rand_mode()
或constraint_mode()
定位随机化失败问题。 -
避免全局变量:通过
uvm_config_db
传递配置参数,而非全局变量。 -
覆盖率导向:结合功能覆盖率分析,优化Sequence的约束。
总结
UVM Sequence 是验证环境中动态生成和控制事务流的核心组件,通过灵活的随机化、层次化设计和同步机制,能够高效构建复杂测试场景。合理使用虚拟Sequence、Factory重载和调试工具,可显著提升验证效率和场景覆盖率。
相关文章:
uvm sequence
UVM Sequence 是验证环境中生成和控制事务(Transaction)流的核心机制,它通过动态生成、随机化和调度事务,实现灵活多样的测试场景。以下是Sequence的详细解析: Sequence 的核心作用 事务流生成:通过 uvm_s…...
Java 代理(一) 静态代理
学习代理的设计模式的时候,经常碰到的一个经典场景就是想统计某个方法的执行时间。 1 静态代理模式的产生 需求1. 统计方法执行时间 统计方法执行时间,在很多API/性能监控中都有这个需求。 下面以简单的计算器为例子,计算加法耗时。代码如下…...
《初级社会工作者》考试题,附答案解析
一、单项选择题(共 60 题,每题 1 分) 1. 社会工作者在社区中开展针对留守儿童的支持小组活动,发现一名儿童因父母长期外出务工而产生严重的分离焦虑。此时,社会工作者应首先采取的介入策略是( )…...
网盘解析工具1.3.0,修改了一些bug,建议更新到此版本
最近问题反馈比较多,本来想着周末再更新了来着,但是账号黑的实在太快了。排查了下应该是某度网盘的一个接口缺少了一些参数,导致一直进黑名单。所幸参数不难找,新版本已经修复了,建议大家赶紧更新到1.3.0版本ÿ…...
Multi-Stage Progressive Image Restoration论文阅读
摘要 图像复原任务在恢复图像时需要在空间细节与高层语境化信息之间取得复杂的平衡。本文提出了一种新颖的协同设计方法,能够最优地平衡这些竞争目标。我们的核心方案是一种多阶段架构,通过逐步学习退化输入的复原函数,将整体恢复过程分解为…...
了解图像质量评价指标PSNR
一、PSNR是什么 1.1 定义与数学公式 峰值信噪比(Peak Signal-to-Noise Ratio,PSNR)是数字图像处理领域最经典的客观质量评价指标之一。其核心思想是通过计算原始图像与失真图像之间的均方误差(MSE)来衡量失真程度&am…...
C++概述
1 什么是面向对象】 概念上来说:就是以对象(具体的变量)为导向的编程思路 专注于:一个对象具体能实现哪些过程(哪些功能) 面向对象 n * 面向过程 结论:面向对象需要做的事情 1:我们要想清楚,我们现在需要编写一个…...
axios文件下载使用后端传递的名称
java后端通过HttpServletResponse 返回文件流 在Content-Disposition中插入文件名 一定要设置Access-Control-Expose-Headers,代表跨域该Content-Disposition返回Header可读,如果没有,前端是取不到Content-Disposition的,可以在统…...
如何让 history 记录命令执行时间?Linux/macOS 终端时间戳设置指南
引言:你真的会用 history 吗? 有没有遇到过这样的情况:你想回顾某个重要命令的执行记录,却发现 history 只列出了命令序号和内容,根本没有时间戳?这在运维排查、故障分析、甚至审计时都会带来极大的不便。 想象一下,你在服务器上误删了某个文件,但不知道具体是几点执…...
使用LLaMAFactory微调Qwen大模型
一、环境配置与工具安装 1. 硬件要求 GPU:至少1块NVIDIA GPU(推荐RTX 4090/A100/H100,显存≥16GB)。内存:≥64GB系统内存。存储:≥100GB硬盘空间用于模型与数据集存储。2. 软件依赖 Python 3.8+:需安装CUDA支持的PyTorch版本(如torch==2.0.1+cu117)。 依赖库:通过以…...
CSS3:现代Web设计的魔法卷轴
一、布局革命:从平面到多维空间 1.1 Grid布局的次元突破 星际战舰布局系统 .galaxy {display: grid;grid-template-areas: "nav nav nav""sidebar content ads""footer footer footer";grid-template-rows: 80px 1fr 120p…...
Netty - 从Nginx 四层(TCP/UDP)流量中获取客户端真实/网络出口IP
文章目录 一、背景与原理1.1 问题场景网络架构影响分析1.1 客户端与Nginx之间存在的NAT/VPN1.2 Nginx与RPC服务之间的NAT 1.2 技术原理 二、环境配置验证2.1 Nginx配置2.2 版本要求 三、Netty服务端实现3.1 Pipeline配置(核心代码)3.2 协议处理器实现3.3…...
基于Spring AI开发本地Jenkins MCP Server服务
前言 首先介绍下MCP是什么? MCP是由开发了 Claude 模型的 Anthropic 公司2024年12月提出并开源的一项开放标准,全称:Model Context Protocol,它是一个开放协议,它使 LLM 应用与外部数据源和工具之间的无缝集成成为可能…...
记录一次TDSQL事务太大拆过binlog阈值报错
记录一次TDSQL事务太大拆过binlog阈值报错处理过程 1、排查任何类型数据库故障的第一步, 同步实例信息、报错内容、报错时间段、当前是否恢复、如何感知到数据库问题的、对应用有什么影响、系统允许的时间窗口。 2、明确报错内容为单次写入binlog量超过阈值 3、登陆…...
1688商品详情接口:深度解析与应用实践
在电商领域,1688作为中国领先的B2B平台,拥有海量的商品信息。对于开发者、商家和数据分析师来说,获取1688商品的详细信息是实现数据分析、竞品研究、自动化管理和精准营销的重要手段。本文将详细介绍1688商品详情接口的使用方法、技术细节以及…...
机试题——村落基站建设
题目描述 假设村落以二叉树的形状分布,我们需要选择在哪些村落建设基站。如果某个村落建设了基站,那么它和它相邻的村落(包括本节点、父节点和子节点)也会有信号覆盖。目标是计算出最少需要建设的基站数。 输入描述 输入为一个…...
2025年高压电工考试真题分享
以下是一些高压电工考试题: 单选题 1、高压架空线路的档距一般为( )。 A. 20 - 30m B. 30 - 50m C. 50 - 80m D. 80 - 100m 答案:B。解析:高压架空线路档距一般在 30 - 50m,这样的档距能较好地保证线…...
T-SQL 语言基础:逆透视转换
概念 -- 把数据从列的转台转为行的状态-- 涉及查询数据的透视状态,将来自单个记录中多个列的值扩展为单个列中具有相同值的多个记录-- 也就是把透视表中的每个源行潜在地转换为多个行示例表继续使用上一篇博客,TempDB dbo.Orders 表。 T-SQL 语言基础&a…...
循环神经网络 - 给网络增加记忆能力
为了处理时序数据并利用其历史信息, 我们需要让网络具有短期记忆能力。而前馈网络是一种静态网络,不具备这种记忆能力。在正式学习循环神经网络之前,我们先来了解一下给网络增加短期记忆能力的三种方法。 一、延时神经网络 延时神经网络&am…...
Docker Desktop 界面功能介绍
Docker Desktop 界面功能介绍 左侧导航栏 Containers(容器): 用于管理容器,包括查看运行中或已停止的容器,检查容器状态、日志,执行容器内命令,启动、停止、删除容器等操作。Images(镜像): 管理本地 Docker 镜像,可查看镜像列表、从 Docker Hub 拉取新镜像、删除镜…...
R001-区块链
1.区块链概念 英文名:blockchain 或block chain what: 是一种块链式存储、不可篡改、安全可信的去中心化分布式账本. 特点:它结合了分布式存储、点对点传输、共识机制、密码学等技术,通过不断增长的数据块链(Blocks)记…...
无人机进行航空数据收集对于分析道路状况非常有用-使用无人机勘测高速公路而不阻碍交通-
无人机进行航空数据收集对于分析道路状况非常有用-使用无人机勘测高速公路而不阻碍交通- 瑞士拥有1,400 多公里长的高速公路网络。这些公路将人和货物从山谷高原运送到阿尔卑斯山的最高山口。维护这些高速公路使国家得以顺利运转。高速公路维护的重要性显而易见,但在…...
StarRocks 证书SRCA和SRCP
目录 引子 SRCA认证 SRCP认证 认证流程 引子 StarRocks介绍:极速全场景 MPP数据库starrocks介绍-CSDN博客 StarRocks中文社区推出了StarRocks 培训与认证,学习并通过考试后,可以得到StarRocks证书。对starrocks感兴趣或需要使用starrocks的…...
String类的模拟实现
我们在使用STL库的时候,不仅需要掌握如何使用,我们还需要了解一些底层的模拟实现。 1:需要模拟实现的string类函数 #pragma once #include<iostream> #include<assert.h> #include<utility> using namespace std;namespa…...
VMware Windows Tools 存在认证绕过漏洞(CVE-2025-22230)
漏洞概述 博通公司(Broadcom)近日修复了 VMware Windows Tools 中存在的一个高危认证绕过漏洞,该漏洞编号为 CVE-2025-22230(CVSS 评分为 9.8)。VMware Windows Tools 是一套实用程序套件,可提升运行在 VM…...
【计算机网络ICMP协议详解】
文章目录 一、前言二、ICMP协议概述2.1 ICMP 与 IP 协议的关系2.2 ICMP 的作用 三、ICMP报文格式3.1 字段解释: 四、常见ICMP类型与代码五、ICMP协议工作原理与示例5.1 ping 命令5.2 traceroute 命令 六、ICMP与网络安全6.1 ICMP的安全隐患6.2 防御措施 七、ICMP协议…...
WPF 自定义路由事件
WPF 路由事件的基础 什么是路由事件? 路由事件是一种特殊的事件机制,允许事件在可视化树中传播。它支持三种路由策略: 冒泡(Bubbling):事件从源元素向上传播到根元素。隧道(Tunneling…...
从零开始跑通3DGS教程:(一)数据(采集)
写在前面 本文内容 本文所属《从零开始跑通3DGS教程》系列文章; 本文介绍数据准备或者采集准备方式 平台/环境 linux, nvidia GPU, docker 转载请注明出处: https://blog.csdn.net/qq_41102371/article/details/146533367 目录 写在前面系列文章公开数据自己的数…...
DATEDIFF 函数
DATEDIFF 函数概述 DATEDIFF 函数用于计算两个日期之间的差值。 不同的数据库系统对 DATEDIFF 函数的实现和语法可能略有不同,但基本原理是相同的。 通用语法 DATEDIFF(datepart, startdate, enddate)datepart: 指定要计算的日期部分。 例如,day、wee…...
Java 大视界 -- 基于 Java 的大数据隐私计算在医疗影像数据共享中的实践探索(158)
💖亲爱的朋友们,热烈欢迎来到 青云交的博客!能与诸位在此相逢,我倍感荣幸。在这飞速更迭的时代,我们都渴望一方心灵净土,而 我的博客 正是这样温暖的所在。这里为你呈上趣味与实用兼具的知识,也…...
在Windows下VSCodeSSH远程登录到Ubuntu
Window用VSCode通过SSH远程登录Ubuntu SSH 服务开启Windows远程登录 SSH 服务开启 首先要确保 Ubuntu 的 SSH 服务开启了,开启 Ubuntu 的 SSH 服务以后我们就可以在 Windwos 下使用终端软件登陆到 Ubuntu 开启 SSH sudo apt-get install openssh-serverWindows远…...
MATLAB 控制系统设计与仿真 - 31
二次型最优控制 考虑到系统如果以状态空间方程的形式给出,其性能指标为: 其中F,Q,R是有设计者事先选定。线性二次最优控制问题简称LQ(Linear Quadractic)问题,就是寻找一个控制,使得系统沿着由指定初态出发的相应轨迹,其性能指标J取得最小值。 LQ问题分…...
基于SpringBoot + Vue 的考勤管理系统
系统环境 开发工具:IntelliJ IDEAJava 版本:JDK 1.8数据库:MySQL项目构建工具:Maven 项目主要技术 后端技术 Spring Boot:简化 Spring 应用开发流程,实现快速搭建和部署。MyBatis:用于实现数…...
JavaScript 中Object.assign()和展开运算符在对象合并时的区别,各自的适用场景是什么?
JavaScript 中Object.assign()和展开运算符在对象合并时的区别,各自的适用场景是什么? 在 JavaScript 里,咱们常常要把多个对象合并成一个新对象。Object.assign()和展开运算符(...)就像两个得力小助手,能…...
鸿蒙北向应用开发:deveco 5.0 kit化文件相关2
鸿蒙北向应用开发:deveco 5.0 kit化文件相关 在kit化时,有时候会出现这样一种场景即你想把已有的d.ts导出换个名字,这样从名字上更贴合你的kit聚合 什么意思呢?比如现在有 ohos.hilog.d.ts 导出了hilog,现在你想kit化hilog,使得hilog导出名字为usrhilog,这样用户在使用你的k…...
北斗导航 | 改进伪距残差矢量的接收机自主完好性监测算法原理,公式,应用,RAIM算法研究综述,matlab代码
改进伪距残差矢量的接收机自主完好性监测算法研究 摘要 接收机自主完好性监测(RAIM)是保障全球卫星导航系统(GNSS)可靠性的核心技术。本文针对传统伪距残差矢量法在微小故障检测和多故障隔离中的不足,提出一种融合加权奇偶空间与动态阈值调整的改进算法。通过理论推导验证…...
Postman 如何发送 Post 请求上传文件? 全面指南
写一个后端接口,肯定离不开后续的调试,所以我使用了 Postman 来进行上传图片接口的调试,调试步骤也很简单: 第一步:填写请求 URL第二步:选择请求类型第三步:选择发送文件第四步:点击…...
Python 装饰模式
在软件开发中,随着系统的复杂性增加,需求的变化往往会导致代码的频繁修改。为了提高代码的灵活性和可维护性,设计模式应运而生。其中,装饰模式(Decorator Pattern)是一种非常实用的结构型设计模式ÿ…...
JVM 面经
1、什么是 JVM? JVM 就是 Java 虚拟机,它是 Java 实现跨平台的基石。程序运行之前,需要先通过编译器将 Java 源代码文件编译成 Java 字节码文件;程序运行时,JVM 会对字节码文件进行逐行解释,翻译成机器码指令&#x…...
java对pdf文件分页拆分
文章目录 pdf文件拆分指定分页大小 pdf文件拆分 导入依赖 <dependency><groupId>org.apache.pdfbox</groupId><artifactId>pdfbox</artifactId><version>2.0.32</version></dependency>2. 大文件拆分public static boolean …...
【PGCCC】PostgreSQL Certified Master 个人专访 | 第二期 何雄
由PGCCC发起的“PostgreSQL Certified Master个人专访”栏目,旨在挖掘PCM们对数据库行业的深度洞察,分享他们对行业发展的思考和个人感悟,对广大PGer们具有实际借鉴意义。 1.请简单介绍一下自己,您的爱好、您的事业。 大家好,我…...
什么是具身智能
具身智能(Embodied Intelligence)是人工智能与机器人学交叉的前沿领域,强调智能体通过身体与环境的动态交互实现自主学习和进化,其核心在于将感知、行动与认知深度融合。通俗地讲,就是机器人或者智能系统在物理环境中…...
Android开发EmojiCompat 初始化
Android开发EmojiCompat 初始化 报错信息: ensure spannable:java.lang.IllegalStateException: EmojiCompat is not initialized 在Application上写上下面代码即可: EmojiCompat.Config config new BundledEmojiCompatConfig(this);EmojiCompat.in…...
k近邻算法K-Nearest Neighbors(KNN)
算法核心 KNN算法的核心思想是“近朱者赤,近墨者黑”。对于一个待分类或预测的样本点,它会查找训练集中与其距离最近的K个样本点(即“最近邻”)。然后根据这K个最近邻的标签信息来对当前样本进行分类或回归。 在分类任务中&#…...
TextGrad:案例
原文:Yuksekgonul, M., Bianchi, F., Boen, J. et al. Optimizing generative AI by backpropagating language model feedback. Nature 639, 609–616 (2025). https://doi.org/10.1038/s41586-025-08661-4 目录 Solution optimizationPrompt optimization for rea…...
位运算算法:解锁高效编程的钥匙
常见位运算场景: 5.消失的两个数字 1.判定字符是否唯一 解法一:使用HashSet 借助 HashSet 存储字符。HashSet 不允许有重复元素,在遍历字符串时尝试添加字符,若添加失败就表明有重复字符,返回 false;若遍…...
Burp Suite抓包实战:SQL注入漏洞挖掘
本文系统解析如何利用Burp Suite专业版开展SQL注入漏洞的定向挖掘,涵盖手动探测、自动化利用、WAF绕过等进阶技巧。通过电商、金融等行业的真实渗透案例,详解从流量拦截到漏洞利用的全链路方法论,实现单日最高挖掘23个高危注入点的实战成果。…...
使用HTML5和CSS3实现3D旋转相册效果
使用HTML5和CSS3实现3D旋转相册效果 这里写目录标题 使用HTML5和CSS3实现3D旋转相册效果项目介绍技术栈核心功能实现思路1. HTML结构2. CSS样式解析2.1 基础样式设置2.2 3D效果核心样式2.3 卡片样式 3. JavaScript交互实现3.1 旋转控制3.2 自动播放功能 技术要点总结项目亮点总…...
MyBatis Plus 中 update_time 字段自动填充失效的原因分析及解决方案
✅ MyBatis Plus 中 update_time 字段自动填充失效的原因分析及解决方案 前言一、问题现象二、原因分析1. 使用了 strictInsertFill/strictUpdateFill 导致更新失效2. 实体类注解配置错误3. MetaObjectHandler 未生效4. 使用自定义 SQL 导致自动填充失效5. 字段类型不匹配 三、…...
MySQL Binlog
MySQL Binlog MySQL Binlog 介绍查看 Binlog 位点开启和关闭 BinlogBinlog 的作用Binlog 记录的格式Binlog 的解析Binlog 加密Binlog 的清理根据Binlog文件名删除根据时间删除 Binlog 保留参数Binlog 的落盘Binlog 相关参数 MySQL主从复制:https://blog.csdn.net/a…...