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

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

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

中圖分類號：TP303

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