Verdi显示状态机的名称

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

选择First State或者All Stages皆可，区别是First State仅展开目前的所指定的FSM state，

All Stages将展开所有的FSM states。

或者在waveform窗口中选择waveform菜单 --> Signal Value Radix --> Edit Alias... 编辑alias即可以达到我们的目的，但前者更简洁。