目录
Verdi 之配置及波形打开 :https://blog.csdn.net/weixin_45680021/article/details/131350775
Verdi之nTrace/nSchema:https://blog.csdn.net/weixin_45680021/article/details/131387502
Verdi之波形展示nWave:https://blog.csdn.net/weixin_45680021/article/details/131737706
5. nState
5.1如何打开状态机视图
1. 将设计文件导入Verdi
2. 选中设计文件,打开设计视图:
3.打开结果如下,可以直接点击状态机,进入状态机视图;
点击后结果展示:
5.2 如何在状态机视图中添加状态转移条件
在设计视图打开view->state action/transition condition
5.3 如何查看状态机个状态对应的相关代码
选中状态机状态/转移条件,鼠标中键按住拖动到代码界面,对应的代码会被标识出来,结果如下:
5.4 查看具体的状态机状态转移时间点
首先需要理解,设计的状态机类似与一个硬件,实现状态转移必须要进行软件的驱动,这也就是我们的tb验证驱动,所以查看具体状态机的状态转移节点一i的那个是要在仿真过程中实现的。具体的实现步骤如下:
1.首先需要打开dump 波形;
2.点击状态机FSM->state animation,该功能硅记录状态转移的动画
3.选择需要查看的状态,查看转移的时间节点,
5.5 查找自定义状态
以上查找只局限于现有的设计定义的单个状态,但是在验证过程中往往休要考虑一系列状态的转移是否实现,这就要求verdi能够实现自定义的状态检查功能,具体的操作如下:
1. 在状态机界面点击 FSM->edit search sequences
2.进入search界面,如下,第一次点击new,在新建窗口输入新建序列的名称以及具体状态结合,状态的顺序按照sequence 顺序依次从上到下执行。新建完成点击close,如果是modify,点击apply。
3.最后在时序选择的界面会发现刚刚定义的序列已经更新进去了,选中,可按照上边的步骤进行查找;
提示:此时nWave的波形和状态转移的时间是互通的,换句话说,比如,上图的时间是在17500000 ps,在波形上指示线也是停在这个位置.
5.6 查找某个状态执行的次数
1. 如下图,点击FSM->analysis report ,进行报告查询
2. 可以查询单个状态的实现次数,亦可以相邻状态的转移次数
文章评论