摘 要:針對日趨復(fù)雜的微處理器功能驗證,提出一種基于分層思想的受限隨機激勵產(chǎn)生方法,通過測試層、場景層、功能層和指令層的多層約束,實現(xiàn)隨機激勵在不同粒度范圍的高度可控性,精煉測試空間,加快驗證的收斂速度。采用可配置的功能庫,將處理器功能行為單元作為隨機激勵的構(gòu)建基礎(chǔ),產(chǎn)生邏輯功能與通信接口結(jié)合的隨機激勵,實現(xiàn)系列處理器的驗證復(fù)用。CKCore處理器驗證的實驗結(jié)果表明,該方法與受限隨機激勵相比,在功能覆蓋率相同的情況下,激勵編寫量減少60%;在仿真時間相同的情況下,功能和代碼覆蓋率分別改善10%和5%以上,有效提高處理器驗證的質(zhì)量和效率。
關(guān)鍵詞:分層; 隨機; 激勵; 微處理器; 功能; 驗證; 約束
中圖分類號:TP303
文獻標志碼:A文章編號:10013695(2010)04128405doi:10.3969/j.issn.10013695.2010.04.022