狀態機的安全實現

在設計中，爲了保證狀態機的正確運行，一般在綜合時選擇狀態機安全實現，能夠使狀態機進入錯誤狀態時，自動跳轉到復位狀態。 在使用synplify 進行綜合時，首先需要將綜合選項FSM compiler和FSM Explorer去掉，關於這兩個選項的作用可以參見Synplify 使用過程中最常用的選項及命令的介紹。 另外，在綜合時爲了保證狀態機被正確綜合爲安全狀態機，需要添加約束，例 reg [5:0]

>>阅读原文<<