《SOC系統級功能驗證關鍵技術研究》是依託中國人民解放軍國防科技大學，由李暾擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：SOC系統級功能驗證關鍵技術研究
- 項目類別：青年科學基金項目
- 項目負責人：李暾
- 依託單位：中國人民解放軍國防科技大學
- 批准號：60403048
- 申請代碼：F0209
- 負責人職稱：教授
- 研究期限：2005-01-01 至 2007-12-31
- 支持經費：24（萬元）
中文摘要
SOC系統級功能驗證已成為SOC系統設計周期的瓶頸。本項目確立按統一驗證視圖和驗證信息共享思路建立有效融合各種驗證方法和技術的理論框架，在理論和實踐上對SOC系統級功能驗證取得突破。本項目將設計統一的SOC系統級描述語言；提出SOC系統級測試程式自動生成算法；研究SOC系統級功能覆蓋率自動分析技術；研究形式化驗證技術對SOC系統級測試程式自動生成和功能覆蓋率分析的指導技術。研究基於高層測試生成技術的斷言限界模型檢驗技術；研究模型檢驗算法最佳化技術；研究利用模擬信息加速形式化驗證的方法和技術。建立SOC系統中IP核之間、軟硬體接口和協定的統一形式化模型；研究接口和協定的形式化驗證技術。並建立SOC系統級功能驗證原型系統。.本項目提出和建立的SOC系統級功能驗證理論框架和關鍵技術，能解決現有SOC系統級複合功能驗證的主要問題，有效突破SOC系統級功能驗證的瓶頸。
