簡(jiǎn)述一種fifo讀控制的不合理設(shè)計(jì)案例

本文將簡(jiǎn)述一種fifo讀控制的不合理設(shè)計(jì)案例，在此案例中，異常報(bào)文將會(huì)堵在fifo中，造成頭阻塞。

異常場(chǎng)景在驗(yàn)證階段很難完全覆蓋，而實(shí)際芯片應(yīng)用中，因?yàn)殒溌凡环€(wěn)定或者噪聲的影響，時(shí)不時(shí)會(huì)出現(xiàn)各種異常報(bào)文，因此在設(shè)計(jì)階段需要重復(fù)考慮到異常常見(jiàn)對(duì)設(shè)計(jì)的影響。

1.不合理的案例設(shè)計(jì)

如下圖所示：data_fifo 為主數(shù)據(jù)路徑的存儲(chǔ)fifo，用于存儲(chǔ)報(bào)文，所有正常報(bào)文類型包含：TYPE1，TYPE2，TYPE3，TYPE4。因?yàn)楸Ｐ騿?wèn)題，部分報(bào)文需要得到響應(yīng)反饋會(huì)才能讀出，而部分報(bào)文不需要反饋就能立即讀出。

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

本案例中，輸出存儲(chǔ)采用的是FWFT類型的fifo，即在數(shù)據(jù)讀出之前，可以看到data的數(shù)值。data_dout是fifo輸出信號(hào)，根據(jù)data_dout的msg_type和type1/type2反饋結(jié)果（type1/2_ack_is_return）判斷是否可以讀出fifo數(shù)據(jù)。（為簡(jiǎn)化說(shuō)明，本案例中不涉及流控反壓）。

data_fifo_ren為fifo讀使能信號(hào)，1表示讀fifo。在正常場(chǎng)景中，能夠覆蓋所有報(bào)文類型，所有正常報(bào)文都能夠被讀出。

而在異常場(chǎng)景中，一旦報(bào)文類型不屬于TYPE1，TYPE2，TYPE3，TYPE4，那么data_fifo_ren一直為0，數(shù)據(jù)將會(huì)堵在fifo中，無(wú)法讀出。

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

采用always和case語(yǔ)句，關(guān)鍵是添加了default語(yǔ)句表示異常報(bào)文允許立即從data_fifo讀出。