当前位置: 首页 > article >正文

uvm sequence

UVM Sequence 是验证环境中生成和控制事务(Transaction)流的核心机制,它通过动态生成、随机化和调度事务,实现灵活多样的测试场景。以下是Sequence的详细解析:


Sequence 的核心作用

  1. 事务流生成:通过 uvm_sequence 类定义事务的生成逻辑(如顺序、随机化、约束)。
  2. 场景控制:支持层次化、并发、优先级调度等复杂场景。
  3. 复用性:可跨测试用例复用,提升验证效率。
  4. 动态配置:通过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,实现跨接口的同步场景。
  • 实现
    1. 定义虚拟Sequence类。
    2. 在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

调试与最佳实践

  1. 日志输出:使用 uvm_info 跟踪Sequence执行状态。

    `uvm_info("SEQ", $sformatf("Sent transaction: addr=0x%h", tr.addr), UVM_MEDIUM)
    
  2. 约束调试:使用 rand_mode()constraint_mode() 定位随机化失败问题。

  3. 避免全局变量:通过 uvm_config_db 传递配置参数,而非全局变量。

  4. 覆盖率导向:结合功能覆盖率分析,优化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 类实现跨组件的数据共享和灵活配置。以下是其核心概念、使用方法和最佳实践的详细解析&#xff1…...

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 变体专为边缘设备优化,包括&#xf…...

深度解读:智能体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. 系统调用会阻塞整个线程吗&#xff1…...

项目-苍穹外卖(十五) Apache ECharts+数据统计

一、介绍 二、营业额统计 需求分析和设计&#xff1a; Controller: Service: /*** 营业额统计* param begindate* param enddate* return* */Overridepublic TurnoverReportVO turnoverStatistics(LocalDate begindate, LocalDate enddate) {//创建时间集合List<LocalDate&…...

Windows 10/11 使用 VSCode + SSH 免密远程连接 Ubuntu 服务器(指定端口)

摘要&#xff1a; 本文详细介绍如何在 Windows 系统上通过 VSCode Remote-SSH 免密登录远程 Ubuntu 服务器&#xff08;SSH 端口 2202&#xff09;&#xff0c;避免每次输入密码的繁琐操作&#xff0c;提高开发效率。 1. 环境准备 本地系统&#xff1a;Windows 10/11远程服务…...

【9】Strongswan collections —— enumerator

//以目录枚举为例子&#xff0c;说明enumerator&#xff0c;从源码剥离可运行 #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)

&#x1f34b;&#x1f34b;大数据学习&#x1f34b;&#x1f34b; &#x1f525;系列专栏&#xff1a; &#x1f451;哲学语录: 用力所能及&#xff0c;改变世界。 &#x1f496;如果觉得博主的文章还不错的话&#xff0c;请点赞&#x1f44d;收藏⭐️留言&#x1f4dd;支持一…...

Spring Data审计利器:@LastModifiedDate详解(依赖关系补充篇)!!!

&#x1f552; Spring Data审计利器&#xff1a;LastModifiedDate详解&#x1f525;&#xff08;依赖关系补充篇&#xff09; &#x1f50c; 核心依赖解析 使用LastModifiedDate必须知道的依赖关系 #mermaid-svg-qm1OUa9Era9ktbeK {font-family:"trebuchet ms",verd…...

Tweak Power:全方位电脑系统优化的高效工具

Tweak Power&#xff08;系统&#xff09; Tweak Power是一款功能强大的系统优化工具&#xff0c;专为提升Windows电脑的性能和稳定性而设计。它提供了全面的清理、优化和调整选项&#xff0c;帮助用户轻松管理系统资源、提高运行速度、延长设备寿命。 快速扫描并清理系统垃圾…...

CLion下载安装(Windows11)

目录 CLion工具下载安装其他 CLion CLion-2024.1.4.exe 工具 系统&#xff1a;Windows 11 下载 1.通过百度网盘分享的文件&#xff1a;CLion-2024.1.4.exe 链接&#xff1a;https://pan.baidu.com/s/1-zH0rZPCZtQ60IqdHA7Cew?pwdux5a 提取码&#xff1a;ux5a 安装 打开…...

如何用 Postman 进行高效的 Mock 测试?

Postman 是一个强大的 API 开发和测试工具&#xff0c;它可以让你轻松地创建和发送各种 HTTP 请求&#xff0c;查看响应结果&#xff0c;并进行调试和优化。但是有时候&#xff0c;你可能还没有开发好后端服务&#xff0c;或者想要模拟不同的响应场景&#xff0c;这时候就可以使…...