两种方法

1. 當使用Debussy / Verdi開始*.fsdb檔後，儘管拉進來的信號是FSM state，預設只會顯示state encoding所代表的數值

當然這是正確的，但若能顯示state名稱，相信可讀性更告，更方便debug。

Tools –> Extract Interactive FSM…

選擇First State或者All Stages皆可，差異是First State僅展開目前的所指定的FSM state，All Stages將展開所有的FSM states

最後結果

2. 在waveform窗口中选择waveform菜单 --> Signal Value Radix --> Edit Alias... 编辑alias即可以达到我们的目的。