《基於環境的模型驅動SoC功能驗證理論與方法》是依託中國人民解放軍國防科技大學，由李暾擔任項目負責人的面上項目。
基本介紹
- 中文名：基於環境的模型驅動SoC功能驗證理論與方法
- 項目類別：面上項目
- 項目負責人：李暾
- 依託單位：中國人民解放軍國防科技大學
- 批准號：60773025
- 申請代碼：F0209
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：28（萬元）
中文摘要
模型驅動的SoC設計方法學已成為熱點和趨勢，由此對SoC功能驗證提出了新的挑戰。本項目以環境、SoC設計和功能正確性要求三者之間的辨證關係為基礎，以統一描述模型、環境建模和功能屬性描述為核心，在驗證方法的理論和技術上取得突破，建立模型驅動的SoC功能驗證理論體系。本項目將設計統一的描述模型，建立其語義和相關算法；研究模型抽象技術；研究環境建模方法和技術；提出支持各設計層次的屬性描述方法和功能屬性自動生成方法；研究環境背景下，基於模型的覆蓋率驅動驗證方法、面向方面（Aspect）和功能屬性的行為級、事務級測試生成方法。研究環境背景下，基於模型的高層等價性檢查方法；研究基於靜態分析、運行時動態監控的複合形式化驗證方法。建立模型驅動的SoC功能驗證系統原型。.本項目提出和建立的模型驅動的SOC功能驗證理論框架和關鍵技術，能解決新的SOC設計方法所帶來的功能驗證的挑戰，突破SoC功能驗證的瓶頸。
