本文將簡述一種fifo讀控制的不合理設計案例，在此案例中，異常報文將會堵在fifo中，造成頭阻塞。

異常場景在驗證階段很難完全覆蓋，而實際芯片應用中，因為鏈路不穩定或者噪聲的影響，時不時會出現各種異常報文，因此在設計階段需要重復考慮到異常常見對設計的影響。

1.不合理的案例設計

如下圖所示：data_fifo 為主數據路徑的存儲fifo，用于存儲報文，所有正常報文類型包含：TYPE1，TYPE2，TYPE3，TYPE4。因為保序問題，部分報文需要得到響應反饋會才能讀出，而部分報文不需要反饋就能立即讀出。

在如下代碼中，TYPE1和TYPE2需要反饋ack返回才能從data_fifo讀出，而type3和type4可立即讀出。

本案例中，輸出存儲采用的是FWFT類型的fifo，即在數據讀出之前，可以看到data的數值。data_dout是fifo輸出信號，根據data_dout的msg_type和type1/type2反饋結果（type1/2_ack_is_return）判斷是否可以讀出fifo數據。（為簡化說明，本案例中不涉及流控反壓）。

data_fifo_ren為fifo讀使能信號，1表示讀fifo。在正常場景中，能夠覆蓋所有報文類型，所有正常報文都能夠被讀出。

而在異常場景中，一旦報文類型不屬于TYPE1，TYPE2，TYPE3，TYPE4，那么data_fifo_ren一直為0，數據將會堵在fifo中，無法讀出。

2.一種更合理的案例方案

采用always和case語句，關鍵是添加了default語句表示異常報文允許立即從data_fifo讀出。