Abstrct
本文紀錄如何在Debussy / Verdi顯示state名稱幫助debug。
Introduction
使用環境：Debussy 5.4v9 (Windows版), Verdi 2010.10 (Linux版)
當使用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
最後結果