微处理器高层功能验证测试程序自动生成的理论与方法
基本信息
批准号：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.13465/j.cnki.jvs.2020.09.026
发表时间：2020
2
钢筋混凝土带翼缘剪力墙破坏机理研究
钢筋混凝土带翼缘剪力墙破坏机理研究
DOI：10.15986/j.1006-7930.2017.06.014
发表时间：2017
3
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
F_q上一类周期为2p~2的四元广义分圆序列的线性复杂度
DOI：10.11999/JEIT210095
发表时间：2021
4
桂林岩溶石山青冈群落植物功能性状的种间和种内变异研究
桂林岩溶石山青冈群落植物功能性状的种间和种内变异研究
DOI：10.5846/stxb202009292521
发表时间：2021
5
双吸离心泵压力脉动特性数值模拟及试验研究
双吸离心泵压力脉动特性数值模拟及试验研究
DOI：10.13465/j.cnki.jvs.2020.19.016
发表时间：2020
郭阳的其他基金
批准号：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
项目类别：面上项目