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