《覆蓋率驅動的VLSI功能驗證理論與方法》是依託中國人民解放軍國防科技大學，由郭陽擔任項目負責人的面上項目。
基本介紹
- 中文名：覆蓋率驅動的VLSI功能驗證理論與方法
- 項目類別：面上項目
- 項目負責人：郭陽
- 依託單位：中國人民解放軍國防科技大學
- 負責人職稱：研究員
- 批准號：60573173
- 研究期限：2006-01-01 至 2008-12-31
- 申請代碼：F0209
- 支持經費：24（萬元）
中文摘要
以建立覆蓋率驅動的VLSI功能驗證的理論框架體系為目標，以覆蓋率驅動為核心，以可覆蓋性分析與設計理論為基礎，突破模擬驗證和形式驗證中使用統一的功能覆蓋模型和覆蓋率分析信息進行自動驗證的理論與方法。研究VLSI可覆蓋性設計理論與可覆蓋性分析方法，重點突破基於靜態分析和模型檢驗技術的可覆蓋性分析理論；基於時態邏輯，建立功能覆蓋模型，研究功能覆蓋分析方法和基於功能覆蓋反饋信息的自動功能屬性挖掘理論；研究基於機器學習和數據挖掘的覆蓋率驅動的模擬矢量自動生成方法，為模擬矢量生成器自動提供基於覆蓋率分析的約束；研究基於符號執行和功能覆蓋率模型，以RTL對行為級設計的功能實現上的覆蓋率為度量，進行高層等價性檢查的理論與方法。.本項目提出的覆蓋率驅動的VLSI功能驗證理論與方法，能有效提高設計質量，縮短設計周期，對促進支持我國自主著作權積體電路晶片的設計驗證，提高我國電子設計自動化水平有重大意義。
