《微處理器高層功能驗證測試程式自動生成的理論與方法》是依託中國人民解放軍國防科技大學,由郭陽擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名:微處理器高層功能驗證測試程式自動生成的理論與方法
- 項目類別:青年科學基金項目
- 項目負責人:郭陽
- 依託單位:中國人民解放軍國防科技大學
- 負責人職稱:研究員
- 批准號:60303011
- 研究期限:2004-01-01 至 2004-12-31
- 申請代碼:F0209
- 支持經費:7(萬元)
中文摘要
本項目針對微處理器驗證的瓶頸- - 測試程式和模擬矢量的自動生成,建立指令集測試程式和RTL級模擬矢量自動生成的理論框架體系。提出基於路徑的RTL級模擬矢量自動生成方法和基於體系結構描述的指令集測試程式自動生成方法。重點解決HDL自動分析和模型提取、約束生成和覆蓋率分析等關鍵技術。設計可擴展性好、面向微處理器驗證的體系結構描述語言,該語言同時集成微處理器功能特徵描述和功能覆蓋率分析的功能,支持指令