Verdi显示状态机的名称

本文深入探讨了Verdi nWave在数字电路验证中的高级应用，特别是FSM状态追踪与自定义逻辑信号分析。通过提取交互式FSM功能，用户可以将二进制状态寄存器转化为直观的状态名称，大幅提升调试效率。同时，利用Logical Operation功能创建自定义逻辑信号，能够智能监控复杂条件，如总线拥塞或时序违规。这些技巧的结合使用，使验证工程师能够快速定位设计问题，构建高效的调试工作流。

在RTL中，状态机编码一般是用parameter常量，变量名是大写，变量的值一般是onehot或者格雷码，为了波形中清楚地识别每个状态，最好在波形中显示状态机名字。

该文章主要介绍了设计状态机的视图查询，以及在仿真过程中状态机的状态转移报告查询等

选择First State或者All Stages皆可，区别是First State仅展开目前的所指定的FSM state，2.存储数组的命令：$fsdbDumpvars(0,jwq79818_sim,"+mda","+all");在verdi的顶层菜单窗口，选择tools-->Extract Interactive FSM，All Stages将展开所有的FSM states。

关于Verdi中查看状态机的问题，想必大家都duniang 一大把资料可以看，今天，主要在前人讲解的基础之上，这里添加一些自己的心得体会。为什么呢?说来惭愧，自己工作几个年头了，但是对于Verdi中查查看状态机，还是心里有一些抵触。今天，花点时间整理一下分享大家，如有不同之处，请指正！

前段时间看到别人用verdi看状态机的波形时，可以显示定义的状态参数，觉得很有意思，特地学习了一下。这种信号，我们要想知道每个数值代表的状态，还需要跟定义的parameter比对。**不过也可以尝试在完成下图操作后，直接在rtl处拉信号，应该也是可行的 **像这种状态值少的，很容易记住，但如果状态有数十个，找数值对应的状态简直是灾难。显示的两个图形是 fsm，因为这份rtl里用了两个fsm，所以会显示出两个。选中 Tool ，在选择箭头指向的位置，然后会有一个弹窗。在点击红框选中的部分，会有如下选项。

个人 verdi 使用笔记

verdi 常用操作，例如字体大小，波形保存与加载 （.rc文件）等

怎么在verdi波形里面显示状态机名字 在veridi得rtl窗口，选tools_extract interactive FSM就可以了 怎么分析提高仿真时间 在仿真指令时加入-simprofile time+mem

目录 1.加载设计 2.加载波形 3.重新加载设计和波形 4.选择信号 5.查看波形 6.mark标记时间差 7.波形文件保存 *.rc 8.获取参数值 9.获取波形时刻里的值 10.新建组与对组重命名，显示信号全路径 11、改变信号和波形颜色 12.查看信号及变化 13.显示状态机及其名称 1.加载设计 veidi加载设计的脚本 run_verdi: verdi -sv -f tb_top_filelist.f -top tb_top & 告知软件...

verdi 使用

一般来讲，状态机的编码会用parameter实现，但是在nwave中，有时状态机信号只会显示它的数值，而不是相应的parameter名，如果要检查跳转情况，就要不停的去把数值和相应的名字对应。可以使用ntrace中tools->extract interactive fsm，选择all stages后再点击ok，就可以在波形中显示状态机的状态名。 ...

在verdi的顶层菜单窗口，选择tools-->Extract Interactive FSM，如下图

该图给出了状态机的整体信息，包括输入、输出信号，时钟信号的名称及其极性，复位条件以及状态信号、初始状态和状态表。按住shift，选中S1, S11和S110三个状态，然后点击Tools–>Partial FSM。最后，点击FSM，选中State Animation，然后点击Analysis Report…为了简单起见，我们以一个序列检测器为例，介绍nState的使用过程。栏则给出了每一个状态在仿真中出现的次数。此时，会显示所勾选的三项的相关信息，如下图所示。用于有限状态机（FSM）。方框中的状态机，得到。

通过本文您可能会了解：如何在仿真状态机时直接显示状态名，而非二进制数字。

Verdi的使用技巧总结1，加载信号2，放大缩小3，波形文件保存.rc4，移动波形窗口信号位置5，对信号的操作6，显示信号全路径7，显示状态机及其名称8，改变信号和波形颜色9，参考信号数值10，新建组与对组重命名11，mark标记功能 1，加载信号 g：加载信号 Get signals。在弹出的窗口选中需要添加的信号，点击滚轮选择需要添加信号的位置 代码中选中信号 Ctrl+W 将信号加载在波形中 2，放大缩小 Z:Zoom In z:Zoom Out f:Zoom All 3，波形文件保存.rc 调出波形

本文详细介绍了在Verdi波形调试中，让状态机（FSM）状态名称清晰可见的五种实用方法。包括交互式提取、手动别名映射、总线争用视图转换、原理图关联以及配置文件加载，旨在帮助数字IC验证与设计工程师提升调试效率和准确性，使状态追踪一目了然。

ID_BALCK是默认色，ID_BLACK == NULL。这64种颜色对应的代码如下。