《SoC系統級等價性檢查理論與關鍵技術》是依託中國人民解放軍國防科技大學，由李暾擔任項目負責人的面上項目。
基本介紹
- 中文名：SoC系統級等價性檢查理論與關鍵技術
- 項目類別：面上項目
- 項目負責人：李暾
- 依託單位：中國人民解放軍國防科技大學
中文摘要,結題摘要,
中文摘要
SOC系統級功能驗證已成為SOC系統設計周期的瓶頸。針對SoC系統級功能驗證由於各層巨大差異帶來的重複工作多、驗證效率低下等突出問題，本項目研究SoC系統級等價性檢查技術，在理論和實踐上對SoC系統級功能驗證取得突破。研究高層次建模與模型等價性理論、SoC系統功能行為描述與TLM描述間、TLM描述與RTL實現間等價性檢查算法等理論與技術，突破時序匹配、路徑匹配、割點識別與插入、設計化簡、約束編碼和SMT最佳化等關鍵技術，建立SoC系統級等價性檢查理論方法體系，實現支持SoC高層等價性檢查的系列工具原型，研究成果將直接用於典型SoC系統的設計驗證。.所研究建立的模型、理論框架、方法在驗證科學領域達到國際領先水平，有效提高SoC系統級驗證效率和完備性，為我國自主SoC系統的可持續發展奠定堅實基礎。
結題摘要
SOC 系統級功能驗證已成為 SOC 系統設計周期的瓶頸。針對 SoC 系統級功能驗證由於各層巨大差異帶來的重複工作多、驗證效率低下等突出問題，本項目研究 SoC 系統級等價性檢查技術，在理論和實踐上對 SoC 系統級功能驗證取得突破。研究高層次建模與模型等價性理論、SoC 系統功能行為描述與 TLM 描述間、TLM 描述與 RTL 實現間等價性檢查算法等理論與技術，突破時序匹配、路徑匹配、割點識別與插入、設計化簡、約束編碼和 SMT 最佳化等關鍵 技術，建立 SoC 系統級等價性檢查理論方法體系，實現支持 SoC 高層等價性檢查的系列工具原型，研究成果將直接用於典型 SoC 系統的設計驗證。所研究建立的模型、理論框架、方法在驗證科學領域達到國際領先水平，有效提高 SoC 系統級驗證效率和完備性，為我國自主 SoC 系統的可持續發展奠定堅實基礎。 項目組的研究工作，部分解決了高級綜合中系統級與RTL級等價性檢查問題、解決了現有基於模擬的等價性檢驗方法在完備性上的問題、解決了差異性大的設計間的等價性檢查問題。工作得到國內外同行的關注。
