一種面向微處理器驗證的分層隨機激勵方法

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

關(guān)鍵詞：分層； 隨機； 激勵； 微處理器； 功能； 驗證； 約束

中圖分類號：TP303

文獻標志碼：A文章編號：10013695(2010)04128405doi:10.3969/j.issn.10013695.2010.04.022