verdi波形中状态机信号用parameter的名字显示

一般来讲，状态机的编码会用parameter实现，但是在nwave中，有时状态机信号只会显示它的数值，而不是相应的parameter名，如果要检查跳转情况，就要不停的去把数值和相应的名字对应。可以使用ntrace中tools->extract interactive fsm，选择all stages后再点击ok，就可以在波形中显示状态机的状态名。