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

Verdi之状态机状态查询nState 该文章主要介绍了设计状态机的视图查询,以及在仿真过程中状态机的状态转移报告查询等 阅读详情
AI摘要

博主看到别人用verdi看状态机波形能显示定义的状态参数,觉得有趣便学习了实现方法。常规状态机信号波形需与定义的parameter比对状态,状态多则很麻烦。文章详细介绍了让状态机信号波形显示状态名称的操作步骤。

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

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

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

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

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

这样是不是就清晰很多了

下面介绍如何实现

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

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

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

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

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

直接选中 All Stages 就好

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

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

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

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

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

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

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

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

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

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

相关推荐

从FSM编码到波形显示:Verdi状态机调试全链路实践指南

本文详细介绍了使用Verdi工具进行FSM状态机调试的全链路实践指南,从RTL编码规范到波形显示优化。通过状态机编码风格选择、仿真环境配置和Verdi核心功能解析,帮助开发者提升调试效率,实现状态转移条件和波形时序的有机整合。特别推荐One-hot编码方案和FSDB波形生成配置,显著增强调试直观性。

weixin_29276847的博客 311

如何在verdi中直接查看状态机的状态名

如何在verdi中直接查看状态机的状态名 同样适用于debussy

Verdi简介

3.1.1 Verdi的历史 相信做IC验证的朋友或多或少都使用过VCS和Verdi这两个工具,这两个工具目前都属于synopsys公司,但是Verdi的来源可谓一路坎坷。 Verdi最开始是由novas公司设计的,在2008年,被台湾的EDA厂家springsoft(源笙)收购了(我我最早使用Verdi的时候,是上海源笙提供培训)。在2012年,synopsys收购了spring soft公司,所以此时Verdi才正式属于synopsys。 联想一下,我们使用Verdi的时候会产生novas.rc和nov

XtremeDV 3万+

verdi在波形中显示状态机名字

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

CC的专栏 1609

Verdi状态机调试实战:从波形到代码的完整追踪指南(附nState技巧)

本文深入探讨了利用Verdi的nState功能进行状态机调试的实战方法。通过关联波形、状态转移图与源代码,提供从异常定位到根因分析的完整追踪指南,并分享了状态执行频次分析、自定义序列搜索等进阶技巧,显著提升数字IC验证工程师的调试效率。

jupi8的博客 260

Verdi高效调试技巧:从波形优化到项目全局搜索

本文深入探讨了Verdi调试工具的高效使用技巧,涵盖波形显示优化、配置保存加载、状态机可视化、信号逻辑运算与项目全局搜索五大核心功能。通过调整字体样式、保存个性化视图、将状态编码转换为直观参数名、在波形窗口内进行逻辑运算以及利用全局搜索快速定位代码,工程师可以显著提升数字芯片设计验证的调试效率与准确性。

gg901的博客 857

Verdi显示状态机的名称

或者在waveform窗口中选择waveform菜单 --> Signal Value Radix --> Edit Alias... 编辑alias即可以达到我们的目的,但前者更简洁。选择First State或者All Stages皆可,区别是First State仅展开目前的所指定的FSM state,在verdi的顶层菜单窗口,选择tools-->Extract Interactive FSM,如下图。All Stages将展开所有的FSM states。

ime2224的专栏 932

verdi 使用技巧

verdi 常用操作,例如字体大小,波形保存与加载 (.rc文件)等

小博的博客 1890

【文档+视频】Verdi基础教程

Verdi基本使用方法

Arvin_ing的博客 1万+

linux工具应用_VERDI

总结fsdb的理解,仿真中生成fsdb的方法,及用verdi看仿真波形的常用技巧

qq_39355579的博客 2018

Verdi波形调试避坑指南:从fsdb文件加载失败到状态机可视化的完整排错流程

本文详细解析了Verdi波形调试中的常见问题与解决方案,从fsdb文件加载失败到状态机可视化的完整排错流程。重点介绍了fsdb文件生成的关键参数配置、状态机提取的代码规范要求,以及信号查找、波形比对等高效调试技巧,帮助数字验证工程师快速定位和解决Verdi使用中的高频痛点。

weixin_30588675的博客 241

Verdi快速上手技巧大全(更新版)

Verdi使用技巧大全

qq_54177358的博客 3万+

VCS+Verdi联合仿真实战:从代码到波形调试全流程(附常见问题排查)

本文详细介绍了VCS+Verdi联合仿真实战的全流程,包括环境配置、FSDB波形生成、Verdi高级调试技巧以及常见问题排查。通过实战案例和自动化脚本,帮助工程师快速掌握从代码到波形调试的高效方法,特别适合数字IC验证领域的开发者。

aa123的博客 1055

Verdi 基础教程

Verdi基础

沧海一升的博客 4万+

UVM+verdi的一些小问题

1、uvm_top.print_topology()函数 在end_of_elaboration_phase中利用uvm_top.print_topology()函数打印uvm拓扑结构。 其中uvm_verbosity表明uvm打印冗余度。 2、波形文件 uvm work中生成的波形文件module_name.fsdb和利用脚本更换名字和路径后的波形文件KaTeX parse error: Exp...

Grady 8371

Verdi波形分析实战:如何让数字信号模拟化显示更清晰(附nWave操作指南)

本文深入探讨了Verdi波形分析工具中nWave的核心功能——数字信号模拟化显示。针对模拟波形显示不清的常见问题,文章从底层逻辑出发,详细解析了动态范围的影响,并提供了从手动调节显示范围到优化FSDB文件生成与加载的完整解决方案,旨在帮助工程师获得更清晰直观的调试视图。

ik67890123的博客 603

RDMA RC QP状态机从设计到验证全流程(VCS+Verdi实战)

本文介绍了RDMA RC QP状态机的全流程开发实践,包括RTL设计、验证环境搭建、仿真调试等关键环节。主要内容涵盖: 采用标准状态机设计实现RDMA RC协议的QP状态转移逻辑 构建完整的验证环境,包含SV测试台、SVA断言和波形Dump功能 使用VCS+Verdi工具链进行编译仿真和波形分析 总结了开发过程中的典型问题及解决方案 文章通过工程化的目录结构、详细的代码示例和工具操作指南,完整呈现了从设计到验证的开发流程,为RDMA协议开发提供了实用参考。

m0_46663240的博客 906

Verdi基础教程:从FSDB波形生成到数字IC验证调试实战

在数字IC验证中,波形调试是定位功能异常的关键手段。通过FSDB波形文件记录信号变化,Verdi工具将抽象仿真数据转化为可视化时序图,帮助工程师快速回溯bug根源。本文从基础概念讲起,介绍FSDB生成原理、Verdi与VCS的联合仿真流程,并分享波形定位、总线分析、UVM层次追踪等实用技巧,适合验证新手和FPGA原型验证工程师快速上手。

weixin_34006468的博客 370
上一篇: 分享一个RS触发器的趣味介绍
下一篇: verdi技巧分享--合并多个fsdb文件、统计信号边沿
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值