当前位置： 首页 > news >正文

verdi dump状态机的波形时直接显示状态名

news 2025/7/4 7:00:53

前段时间看到别人用verdi看状态机的波形时，可以显示定义的状态参数，觉得很有意思，特地学习了一下

通常拉出状态机信号的波形是下面这样的

这种信号，我们要想知道每个数值代表的状态，还需要跟定义的parameter比对

像这种状态值少的，很容易记住，但如果状态有数十个，找数值对应的状态简直是灾难

但如果状态信号的波形是这样显示的

这样是不是就清晰很多了

下面介绍如何实现

首先先选中信号，点击鼠标右键，会弹出如下窗口

在点击红框选中的部分，会有如下选项

看看有没有箭头指向的选项，如果有选中 Enumerated Literal 状态机的信号就会显示状态名称了

如果没有也没关系，按如下操作

选中 Tool ，在选择箭头指向的位置，然后会有一个弹窗

直接选中 All Stages 就好

然后会出现下面这样的界面

显示的两个图形是 fsm，因为这份rtl里用了两个fsm，所以会显示出两个

在其中一个fsm上点击鼠标右键，弹出如下界面

选中红框圈住的部分，会有如下选项

我这里选择的是箭头指向的选项

然后这个信号就有状态名啦

如果fsm太多，不知道对应的是哪个，可以按照下图进行选择

点击后就可以跳到对应的rtl code

**不过也可以尝试在完成下图操作后，直接在rtl处拉信号，应该也是可行的 **

相关文章：

verdi dump状态机的波形时直接显示状态名

前段时间看到别人用verdi看状态机的波形时，可以显示定义的状态参数，觉得很有意思，特地学习了一下 通常拉出状态机信号的波形是下面这样的 这种信号，我们要想知道每个数值代表的状态，还需要跟定义的parameter比对 像这…...

编程日记 2023/9/16 5:06:07

代码随想录算法训练营19期第53天

1143.最长公共子序列 视频讲解：动态规划子序列问题经典题目 | LeetCode：1143.最长公共子序列_哔哩哔哩_bilibili 代码随想录 初步思路：动态规划。 总结： dp[i][j] ：长度为[0, i - 1]的字符串A与长度为[0, j - 1]…...

编程日记 2023/9/16 5:05:06

二刷力扣--栈和队列

栈和队列 栈和队列基础（Python） 栈一种先进后出，队列先进后出。 Python中可以用list实现栈，用append()模拟入栈，用pop()模拟出栈。 也可以用list实现队列，但是效率较低，一般用collections.deq…...

编程日记 2023/9/16 5:04:05

第六章 图 十、关键路径

开始顶点（源点)： 在AOE网中仅有一个入度为0的顶点，称为开始顶点（源点)，它表示整个工程的开始; 结束顶点（汇点)： 也仅有一个出度为0的顶点，称为结束顶点（汇点)&#xf…...

编程日记 2023/9/16 5:03:04

Virtualbox固定存储硬盘转换为动态存储硬盘

现象 一开始分配固定存储过大，占了太多空间，现在想换成动态存储释放空闲空间。 解决 关闭虚拟机进入虚拟介质管理从使用的硬盘复制出一个动态存储硬盘在设置中把硬盘替换为副本硬盘 详细步骤参考： https://blog.csdn.net/qq_24033983/arti…...

编程日记 2023/9/16 5:02:03

【栈与队列面试题】有效的括号（动图演示）

leetcode20.括号匹配问题 前言： 💥🎈个人主页:​​​​​​Dream_Chaser～ 🎈💥 ✨✨刷题专栏:http://t.csdn.cn/UlvTc ⛳⛳本篇内容:力扣上栈与队列的面试OJ题目 目录 leetcode20.括号匹配问题 1.问题描…...

编程日记 2023/9/16 5:01:03

基于matlab实现的弹簧振动系统模型程序（动态模型）

完整代码： clear all; %System data m1.0; zeta0.01; omega01.0; Dt1.0; f01.0; x00.0; dotx00.0; xmaxsqrt(x0^2(dotx0/omega0)^2)min([0.5*abs(f0)*Dt/(m*omega0) f0/omega0^2]); omegadomega0*sqrt(1-zeta^2); dt00.1*pi/omega0; nstep500; a0.70; b0.…...

编程日记 2023/9/16 5:00:02

哨兵1号(Sentinel-1)SAR卫星介绍

1. 哥白尼计划 说起欧空局的哨兵1号，就不得不先说一下欧空局的“哥白尼计划”。 欧空局的哥白尼计划（Copernicus Programme）是欧空局与欧盟合作的一项极其重要的地球观测计划。该计划旨在提供免费开放的、可持续的地球观测数据&#xff0c…...

编程日记 2023/9/16 4:59:01

[maven] scopes 管理 profile 测试覆盖率

[maven] scopes & 管理 & profile & 测试覆盖率 这里将一些其他的特性和测试覆盖率（主要是 jacoco） scopes maven 的 scope 主要就是用来限制和管理依赖的传递性，简单的说就是，每一个 scope 都有其对应的特性&…...

编程日记 2023/9/16 4:56:58

css网页打印字体设置

media print {font-family："SimHei";color: #000;border-color: #000; }常用字符编码表 中文名英文名Unicode 编码黑体SimHeiSimHei微软雅黑Microsoft YaHei5FAE\8F6F\96C5\9ED1宋体SimSun\5B8B\4F53仿宋FangSong\4EFF\5B8B html5常用转义字符℃ 字符十…...

编程日记 2023/9/16 4:55:57

JAVA高级技术入门（单元测试，反射，注解，动态代理）

JAVA高级技术入门（单元测试，反射，注解，动态代理） 一、Junit单元测试二、反射1.认识反射，获取类概念：快速入门：获取Class对象的三种方式 2.1获取类的构造器2.2获取类的构造器的作用&a…...

编程日记 2023/9/16 4:54:57

uni-app 实现自定义按 A~Z 排序的通讯录(字母索引导航)

创建 convertPinyin.js 文件 convertPinyin.js 将下面的内容复制粘贴到其中 const pinyin (function() {let Pinyin function(ops) {this.initialize(ops);},options {checkPolyphone: false,charcase: "default"};Pinyin.fn Pinyin.prototype {init: functi…...

编程日记 2023/9/16 4:53:56

C++ PrimerPlus 复习 第一章 命令编译链接文件 make文件

第一章 命令编译链接文件 C 有什么呢？C 源代码文件后缀运行C过程可执行代码：编译语法：makeMakefile 基础语法编写完make只要和将要编译的文件放一起就行 然后在该目录使用make命令，就将自动运行；基础的Makefile版本 现…...

编程日记 2023/9/16 4:52:55

微信小程序——常用组件的属性介绍

常用的组件内容标签 text 文本组件类似于HTML中的span标签，是一个行内元素rich-text 富文本标签支持把HTML字符串渲染为WXML结构 text标签的基本使用 通过text组件的selectable属性，实现长按选中文本内容的效果。只有text标签支持长按选中效果&#x…...

编程日记 2023/9/16 4:51:55

【深度学习】 Python 和 NumPy 系列教程（廿七）：Matplotlib详解：3、多子图和布局：散点矩阵图（Scatter Matrix Plot）

目录 一、前言 二、实验环境 三、Matplotlib详解 1、2d绘图类型 2、3d绘图类型 3、多子图和布局 1. subplot()函数 2. subplots()函数 3. 散点矩阵图（Scatter Matrix Plot） 一、前言 Python是一种高级编程语言，由Guido van Rossum于…...

编程日记 2023/9/16 4:49:53

解决jupyter打开的默认路径问题

已经安装完anaconda，但是jupyter每一次打开的路径都不是自己想要的路径，可以在配置文件中修改jupyter打开的默认路径，具体步骤如下： 首先打开anaconda的命令行 如果有多个环境的，需要输入conda activate 环境名称以下命…...

编程日记 2023/9/16 4:45:49

Git 学习笔记

Git 学习笔记 Git 简介 Git 是一个 开源的分布式版本控制系统。 什么是版本控制？ 版本控制是一种记录一个或若干文件内容变化，以便将来查阅特定版本修订情况的系统。 什么是分布式版本控制系统？ 介绍分布式版本控制系统前，有…...

编程日记 2023/9/16 4:43:46

【Qt】QGroundControl入门3：源码初探

1、源码目录 QGroundControl使用pro来管理工程，可以使用qmake来编译。同时还有CMakeLists.txt，应该可以使用cmake来编译，本人还没有尝试。 QGroundControl是跨平台的，支持android、win、linux、mac、ios系统，在QGCCommon.pri中可见关于跨平台编译的配置。 1.1 目录树 …...

编程日记 2023/9/16 4:41:45

腾讯mini项目-【指标监控服务重构】2023-07-31

今日已办 trace_id传播 关于如何使用 trace_id 创建 span 的思路 【暂未实现 & 测试】 调研 SpanProcessor 阅读源码的test 明日待办 根据 trace_id 创建 span，应该需要 parent span_id 才能有 trace 的树状 span 的关系...

编程日记 2023/9/16 4:39:43

Rust通用编程概念(3)

Rust通用编程概念 1.变量和可变性1.执行cargo run2.变量3.变量的可变性4.常量5.遮蔽5.1遮蔽与mut区别1.遮蔽2.mut 2.数据类型1.标量类型1.1整数类型1.2浮点数类型1.3数字运算1.4布尔类型1.5字符类型 2.复合类型2.1元组类型2.2数组类型1.访问数组2.无效的数组元素访问 3.函数3.1…...

编程日记 2023/9/16 4:38:42

【OSG学习笔记】Day 18: 碰撞检测与物理交互

物理引擎（Physics Engine） 物理引擎 是一种通过计算机模拟物理规律（如力学、碰撞、重力、流体动力学等）的软件工具或库。 它的核心目标是在虚拟环境中逼真地模拟物体的运动和交互，广泛应用于 游戏开发、动画制作、虚…...

编程新知 2025/7/2 16:58:00

黑马Mybatis

Mybatis 表现层&#xff1a;页面展示 业务层&#xff1a;逻辑处理 持久层&#xff1a;持久数据化保存 在这里插入图片描述 Mybatis快速入门 ![在这里插入图片描述](https://i-blog.csdnimg.cn/direct/6501c2109c4442118ceb6014725e48e4.png //logback.xml <?xml ver…...

编程新知 2025/7/2 16:56:57

深入浅出：JavaScript 中的 `window.crypto.getRandomValues()` 方法

深入浅出&#xff1a;JavaScript 中的 window.crypto.getRandomValues() 方法 在现代 Web 开发中&#xff0c;随机数的生成看似简单&#xff0c;却隐藏着许多玄机。无论是生成密码、加密密钥&#xff0c;还是创建安全令牌&#xff0c;随机数的质量直接关系到系统的安全性。Jav…...

编程新知 2025/6/15 19:02:54

在 Nginx Stream 层“改写”MQTT ngx_stream_mqtt_filter_module

1、为什么要修改 CONNECT 报文&#xff1f; 多租户隔离&#xff1a;自动为接入设备追加租户前缀&#xff0c;后端按 ClientID 拆分队列。零代码鉴权&#xff1a;将入站用户名替换为 OAuth Access-Token&#xff0c;后端 Broker 统一校验。灰度发布&#xff1a;根据 IP/地理位写…...

编程新知 2025/6/27 14:22:50

智能在线客服平台：数字化时代企业连接用户的 AI 中枢

随着互联网技术的飞速发展&#xff0c;消费者期望能够随时随地与企业进行交流。在线客服平台作为连接企业与客户的重要桥梁&#xff0c;不仅优化了客户体验&#xff0c;还提升了企业的服务效率和市场竞争力。本文将探讨在线客服平台的重要性、技术进展、实际应用&#xff0c;并…...

编程新知 2025/6/26 10:09:23

解决本地部署 SmolVLM2 大语言模型运行 flash-attn 报错

出现的问题 安装 flash-attn 会一直卡在 build 那一步或者运行报错 解决办法 是因为你安装的 flash-attn 版本没有对应上&#xff0c;所以报错&#xff0c;到 https://github.com/Dao-AILab/flash-attention/releases 下载对应版本&#xff0c;cu、torch、cp 的版本一定要对…...

编程新知 2025/6/15 5:19:16

爬虫基础学习day2

# 爬虫设计领域 工商&#xff1a;企查查、天眼查短视频&#xff1a;抖音、快手、西瓜 ---> 飞瓜电商&#xff1a;京东、淘宝、聚美优品、亚马逊 ---> 分析店铺经营决策标题、排名航空&#xff1a;抓取所有航空公司价格 ---> 去哪儿自媒体&#xff1a;采集自媒体数据进…...

编程新知 2025/6/21 3:33:03

C++使用 new 来创建动态数组

问题&#xff1a; 不能使用变量定义数组大小 原因&#xff1a; 这是因为数组在内存中是连续存储的&#xff0c;编译器需要在编译阶段就确定数组的大小&#xff0c;以便正确地分配内存空间。如果允许使用变量来定义数组的大小&#xff0c;那么编译器就无法在编译时确定数组的大…...

编程新知 2025/6/25 17:20:51

基于 TAPD 进行项目管理

起因 自己写了个小工具&#xff0c;仓库用的Github。之前在用markdown进行需求管理&#xff0c;现在随着功能的增加&#xff0c;感觉有点难以管理了&#xff0c;所以用TAPD这个工具进行需求、Bug管理。 操作流程 注册 TAPD&#xff0c;需要提供一个企业名新建一个项目&#…...

编程新知 2025/6/26 11:27:05

【分享】推荐一些办公小工具

1、PDF 在线转换 https://smallpdf.com/cn/pdf-tools 推荐理由&#xff1a;大部分的转换软件需要收费&#xff0c;要么功能不齐全&#xff0c;而开会员又用不了几次浪费钱&#xff0c;借用别人的又不安全。 这个网站它不需要登录或下载安装。而且提供的免费功能就能满足日常…...

编程新知 2025/6/28 13:23:48