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