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…...
CMake ERROR: arm-none-eabi-gcc is not able to compile a simple test program.
用 cmake 构建 STM32 工程问题【已解决】 环境信息 os: ubuntu22.04gcc: arm-none-eabi-gcc (Arm GNU Toolchain 13.2.rel1 (Build arm-13.7)) 13.2.1 20231009cmake: cmake version 3.22.1ninja: 1.10.1 问题 log [main] 正在配置项目: Olidy [driver] 删除 /home/pomegr…...
地图项目入手学习
如果你目前对自己的地图项目实现原理不太了解,周末可以通过以下方法进行高效学习: ⸻ 第一步:梳理项目相关代码(3 小时) 目标:先大致了解你的地图项目代码,找到核心实现逻辑。 具体做法&…...
电机控制常见面试问题(二十)
文章目录 一.整流电路绕组接法二.电机为什么需要转速器三.电机转矩产生原理四.电机控制中载波频率大小的确定五.开关周期 Tpwm 一.整流电路绕组接法 为了引出直流的输出,一定要在整流变压器的二次侧引出零线,所以二次侧绕组必须接成星形 一次绕组必须要…...
小爱控制via电视浏览器搜索图片-Homeassistant重制上一个自动化
制作自动化详情 为了完成图片搜,暂定指令找找{描述} 在执行脚本的adb地方输入以下指令,百度 因安全不让在图片地址直接搜转用bing >- >am start -n mark.via.gp/mark.via.Shell -a android.intent.action.VIEW -d https://cn.bing.com/images/…...
unity一个图片的物体,会有透明的效果
如图 想要去掉这个透明效果 选择一个高层级的layer即可。...
docker网桥问题导致ldap组件安装失败分析解决
使用pass_install_x86_64_0124版部署k8s底座、kem; 问题:一台kem节点部署ldap组件失败 解决:恢复问题主机的docker0网卡,重新部署kem相关组件 二、问题详情 现象描述 ansible部署kem组件 TASK [kem : start ldap] **********…...
面试的时候问到了HTML5的新特性有哪些
HTML5 是对 HTML 的重要更新,它引入了许多新特性和改进,使 Web 开发变得更加灵活和强大。以下是一些 HTML5 的关键新特性: 1. 新的文档结构元素 HTML5 引入了一些新的语义化元素,帮助开发者更清晰地结构化网页内容,改…...
AI: 文生视频的主流产品
当前主流的5个文生视频(Text-to-Video)产品及其核心特点,综合技术能力、应用场景及市场影响力: 1. Sora(OpenAI) 核心能力:支持通过文本指令生成最长60秒的高质量视频,包含复杂场景、…...
【Python】pillow库学习笔记1-Image类
《Python语言程序设计基础 》第3版,嵩天 黄天羽 杨雅婷著,P293 1.pillow库概述 Pillow 库是Python图像处理重要的第三方库。 Pillow库是PIL (Python image library) 库的一个扩展,需要通过pip工具安装。安装PIL库需要注意,安装…...
智能网联交通加速落地,光路科技TSN技术助推车路云一体化发展
今日,为期两天的第二十七届高速公路信息化大会在青岛国际会展中心(红岛馆)圆满落幕。本次大会以“数智转型安全”为主题,聚焦高速公路数字化转型、车路云协同以及新一代信息技术的融合应用。会议汇聚了交通行业的专家学者、企业代…...
node-imap-sync-client, imap 客户端, 例子
说明 本文是 node-imap-sync-client imap客户端库的使用例子 https://blog.csdn.net/eli960/article/details/146049717 例子 import { imapSyncClient, imapUtf7ToUtf8, utf8ToImapUtf7 } from "imap-sync-client"const sleep async (t) > {return new Promi…...
定时自启动与自关闭一些python脚本
是windows系统,要是linux就好了. 思路是这样的, 首先到早上6点整启动脚本或某个软件,然后记录下对应的pid,等到了晚上18点整的时候,自动根据pid再杀死对应进程. 定时开启与关闭用apscheduler, 示例代码如下: from apscheduler.schedulers.blocking import BlockingSchedule…...
boost.asio
as(async):异步 同步io: reactor (非阻塞)(需要注册一次,在等待消息时可以干别的事) 阻塞io网络模型 接口:read\accept\connect\write 接口返回时,io完成 异步…...
当贝AI知识库评测 AI如何让知识检索快人一步
近日,国内领先的人工智能服务商当贝AI正式推出“个人知识库”功能,这一创新性工具迅速引发行业关注。在信息爆炸的时代,如何高效管理个人知识资产、快速获取精准答案成为用户的核心需求。当贝AI通过将“闭卷考试”变为“开卷考试”的独特设计,为用户打造了一个高度个性化的智能…...
格雷码、汉明码,CRC校验的区别
格雷码、汉明码和CRC校验都是用于数据传输和存储中的编码技术。 它们在原理、功能和应用场景上存在显著区别。 1.格雷码(Gray Code) • 定义:格雷码是一种特殊的二进制编码,任意两个相邻的码字之间仅有一位不同。 • 功能&#x…...
uvm configuration
UVM Configuration 机制详解 UVM 的 配置机制(Configuration Mechanism) 是验证环境中实现参数传递和动态配置的核心方法,通过 uvm_config_db 类实现跨组件的数据共享和灵活配置。以下是其核心概念、使用方法和最佳实践的详细解析࿱…...
nginx配置页面缓存,前端每次打包生成新的js文件
前端需要处理的:使用时间戳作为文件名 // nuxt.config.js export default {build: {filenames: {app: ({ isDev }) > isDev ? [name].js : [name].${Date.now()}.js, // 生产环境用时间戳chunk: ({ isDev }) > isDev ? [name].js : [name].${Date.now()}.j…...
Google开源机器学习框架TensorFlow探索更多ViT优化
一、在边缘设备优化ViTa 在边缘设备上优化 ViT(Vision Transformer)模型,主要目标是减少计算量、降低功耗、提升推理速度。以下是几种关键优化策略: 1.轻量级 ViT 变体 部分 ViT 变体专为边缘设备优化,包括…...
深度解读:智能体2.0 AI Agent多推演进
AI Agent即AI 代理,长期以来,研究人员一直在追求更完美的AI,可以与人类相当、甚至是超越人类。在1950年代,AIan Turing就将“智能”的概念扩展到了人工实体,并提出了著名的图灵测试。这些人工智能实体就被称为——Agen…...
Docker Swarm 和 docker composer 需要 的yaml 文件有什么区别
Docker Compose 和 Docker Swarm 都使用 YAML 文件来定义服务、网络和卷的配置,但它们的 YAML 文件格式和功能有一些关键区别。以下是它们的主要区别: 1. 文件格式 Docker Compose: 使用 docker-compose.yml 文件。支持的版本号通常为 2.x 或…...
Golang 的 GMP 调度机制常见问题及解答
文章目录 Golang GMP 调度模型详解常见问题基础概念1. GMP 各组件的作用是什么?2. 为什么 Go 需要自己的调度器?3. GOMAXPROCS 的作用是什么? 调度流程4. Goroutine 如何被调度到 M 上执行?5. 系统调用会阻塞整个线程吗࿱…...
项目-苍穹外卖(十五) Apache ECharts+数据统计
一、介绍 二、营业额统计 需求分析和设计: Controller: Service: /*** 营业额统计* param begindate* param enddate* return* */Overridepublic TurnoverReportVO turnoverStatistics(LocalDate begindate, LocalDate enddate) {//创建时间集合List<LocalDate&…...
Windows 10/11 使用 VSCode + SSH 免密远程连接 Ubuntu 服务器(指定端口)
摘要: 本文详细介绍如何在 Windows 系统上通过 VSCode Remote-SSH 免密登录远程 Ubuntu 服务器(SSH 端口 2202),避免每次输入密码的繁琐操作,提高开发效率。 1. 环境准备 本地系统:Windows 10/11远程服务…...
【9】Strongswan collections —— enumerator
//以目录枚举为例子,说明enumerator,从源码剥离可运行 #include <stdio.h> #include <stdbool.h> #include <dirent.h> #include <errno.h> #include <string.h> #include <sys/types.h> #include <sys/stat.h&…...
大数据学习(88)-zookeeper实现的高可用(HA)
🍋🍋大数据学习🍋🍋 🔥系列专栏: 👑哲学语录: 用力所能及,改变世界。 💖如果觉得博主的文章还不错的话,请点赞👍收藏⭐️留言📝支持一…...
Spring Data审计利器:@LastModifiedDate详解(依赖关系补充篇)!!!
🕒 Spring Data审计利器:LastModifiedDate详解🔥(依赖关系补充篇) 🔌 核心依赖解析 使用LastModifiedDate必须知道的依赖关系 #mermaid-svg-qm1OUa9Era9ktbeK {font-family:"trebuchet ms",verd…...
Tweak Power:全方位电脑系统优化的高效工具
Tweak Power(系统) Tweak Power是一款功能强大的系统优化工具,专为提升Windows电脑的性能和稳定性而设计。它提供了全面的清理、优化和调整选项,帮助用户轻松管理系统资源、提高运行速度、延长设备寿命。 快速扫描并清理系统垃圾…...
CLion下载安装(Windows11)
目录 CLion工具下载安装其他 CLion CLion-2024.1.4.exe 工具 系统:Windows 11 下载 1.通过百度网盘分享的文件:CLion-2024.1.4.exe 链接:https://pan.baidu.com/s/1-zH0rZPCZtQ60IqdHA7Cew?pwdux5a 提取码:ux5a 安装 打开…...
如何用 Postman 进行高效的 Mock 测试?
Postman 是一个强大的 API 开发和测试工具,它可以让你轻松地创建和发送各种 HTTP 请求,查看响应结果,并进行调试和优化。但是有时候,你可能还没有开发好后端服务,或者想要模拟不同的响应场景,这时候就可以使…...
