微处理器高层功能验证测试程序自动生成的理论与方法
基本信息
批准号：60303011
项目类别：青年科学基金项目
资助金额：7.00
负责人：郭阳
学科分类：
依托单位：中国人民解放军国防科技大学
批准年份：2003
结题年份：2004
起止时间：2004-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：刘蓬侠,李思昆,陈怒兴,吴虎成,屈婉霞,李暾
关键词：
微处理器模拟矢量体系结构描述约束生成功能验证
结项摘要
本项目针对微处理器验证的瓶颈- - 测试程序和模拟矢量的自动生成，建立指令集测试程序和RTL级模拟矢量自动生成的理论框架体系。提出基于路径的RTL级模拟矢量自动生成方法和基于体系结构描述的指令集测试程序自动生成方法。重点解决HDL自动分析和模型提取、约束生成和覆盖率分析等关键技术。设计可扩展性好、面向微处理器验证的体系结构描述语言，该语言同时集成微处理器功能特征描述和功能覆盖率分析的功能，支持指令
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
病毒性脑炎患儿脑电图、神经功能、免疫功能及相关因子水平检测与意义
病毒性脑炎患儿脑电图、神经功能、免疫功能及相关因子水平检测与意义
DOI：10.13210/j.cnki.jhmu.20190508.001
发表时间：2019
2
水中溴代消毒副产物的生成综述
水中溴代消毒副产物的生成综述
DOI：10.7524/j.issn.0254-6108.2021021801
发表时间：2022
3
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
DOI：10.3969/j.issn.1000-0844.2017.05.0820
发表时间：2017
4
土体约束对海底管道整体屈曲的影响机理研究
土体约束对海底管道整体屈曲的影响机理研究
DOI：10.11759/hykx20170605001
发表时间：2018
5
基于SWAT模型的阿克苏河流域径流模拟
基于SWAT模型的阿克苏河流域径流模拟
DOI：10.13869/j.cnki.rswc.2017.03.049
发表时间：2017
郭阳的其他基金
批准号：11174347
批准年份：2011
资助金额：75.00
项目类别：面上项目
批准号：60573173
批准年份：2005
资助金额：24.00
项目类别：面上项目
批准号：61376100
批准年份：2013
资助金额：80.00
项目类别：面上项目
批准号：61070036
批准年份：2010
资助金额：32.00
项目类别：面上项目
批准号：61133007
批准年份：2011
资助金额：270.00
项目类别：重点项目
批准号：61772540
批准年份：2017
资助金额：58.00
项目类别：面上项目
批准号：10804126
批准年份：2008
资助金额：24.00
项目类别：青年科学基金项目
批准号：81702930
批准年份：2017
资助金额：20.00
项目类别：青年科学基金项目
相似国自然基金
1
面向程序验证的自动定理证明理论、方法与工具研究
批准号：61732001
批准年份：2017
负责人：夏壁灿
学科分类：F0201
资助金额：270.00
项目类别：重点项目
2
二级编译程序的自动生成与基于知识的编译程序测试系统
批准号：68880309
批准年份：1988
负责人：顾元祥
学科分类：F0203
资助金额：8.00
项目类别：专项基金项目
3
测试驱动的自动程序修复方法研究
批准号：61872273
批准年份：2018
负责人：玄跻峰
学科分类：F0203
资助金额：63.00
项目类别：面上项目
4
基于占优度与集合进化的并行程序变异测试数据自动生成
批准号：61375067
批准年份：2013
负责人：巩敦卫
学科分类：F0305
资助金额：79.00
项目类别：面上项目