Leon2微處理器流水線相關驗證

0 引言

隨著IC技術的飛速發展，微處理器的復雜度和集成度不斷提高，驗證工作的重要性日益突出，其中功能邏輯驗證已經占據了整個設計時間的50％～80％。由于缺乏高效的功能驗證技術，功能驗證已日益成為微處理器設計驗證過程中的瓶頸。常用的功能驗證方法有形式驗證方法和仿真驗證方法，形式驗證是根據邏輯設計中功能和結構的描述，用定理證明等數學方法來證明邏輯設計的正確性。形式驗證方法已經逐步得到應用，但因其固有的計算復雜性等原因，主要應用于小規模的設計中，在現代大規模芯片設計中該方法不能在有效的時間內給出驗證結果。目前所有驗證技術中應用最廣泛的是基于仿真的驗證方法，即將驗證用的測試程序加載到待測設計，觀察其輸出結果是否符合設計規范。