關(guān)于中斷和fault的驗證
時間：2021-11-05 13:46:14
手機(jī)看文章
掃描二維碼
隨時隨地手機(jī)看文章
[導(dǎo)讀]對于一個DUT怎么去驗證它在fault情況下的響應(yīng)？比如在transaction中有fault信息時，DUT理想的行為是對某一寄存器置位。對于寄存器的檢查應(yīng)該放在哪一個位置呢？中斷驗證的一個難點，項目中一般對中斷的要求就是出現(xiàn)錯誤時:1、中斷要能上報出去2、第一個中斷info能夠...
對于一個DUT怎么去驗證它在fault情況下的響應(yīng)？比如在transaction中有fault信息時，DUT理想的行為是對某一寄存器置位。對于寄存器的檢查應(yīng)該放在哪一個位置呢？中斷驗證的一個難點，項目中一般對中斷的要求就是出現(xiàn)錯誤時:1、中斷要能上報出去2、第一個中斷info能夠記錄下來3、有中斷計數(shù)的，中斷計數(shù)準(zhǔn)確。
所以我們在驗證中斷的時候，一般分兩個步驟：一是中斷上報單獨驗證，這個和具體的功能無關(guān)，只驗中斷的上報和掩碼相關(guān)的功能。二是具體和功能相關(guān)的，在TC中構(gòu)造異常激勵，環(huán)境同步預(yù)期，只在仿真結(jié)束的時候，去檢查中斷狀態(tài)、中斷info和中斷計數(shù)，就可以了。
中斷的驗證，還包括中斷的讀清操作，因為有的RTL會將中斷源錯誤地做成電平信號，導(dǎo)致中斷無法讀清的錯誤。
所以我們在驗證中斷的時候，一般分兩個步驟：一是中斷上報單獨驗證，這個和具體的功能無關(guān)，只驗中斷的上報和掩碼相關(guān)的功能。二是具體和功能相關(guān)的，在TC中構(gòu)造異常激勵，環(huán)境同步預(yù)期，只在仿真結(jié)束的時候，去檢查中斷狀態(tài)、中斷info和中斷計數(shù)，就可以了。
中斷的驗證，還包括中斷的讀清操作，因為有的RTL會將中斷源錯誤地做成電平信號，導(dǎo)致中斷無法讀清的錯誤。
下載文檔
