[发明专利]微处理器功能验证测试用例的功能树结构及自动生成方法有效

专利信息
申请号: 200910079415.1 申请日: 2009-03-11
公开(公告)号: CN101499105A 公开(公告)日: 2009-08-05
发明(设计)人: 吴英攀;于立新;彭和平;兰利东;周海洋 申请(专利权)人: 北京时代民芯科技有限公司;中国航天时代电子公司第七七二研究所
主分类号: G06F17/50 分类号: G06F17/50
代理公司: 中国航天科技专利中心 代理人: 安 丽
地址: 100076北京*** 国省代码: 北京;11
权利要求书: 查看更多 说明书: 查看更多
摘要: 一种微处理器功能验证测试用例的功能树结构及自动生成方法,本发明采用功能树结构的方法描述测试用例,该功能树结构结构层次比较清晰,各种指令和参数之间的关系也比较清楚,易于采用编程语言进行描述;本发明利用Perl语言自动把功能树结构映射为SystemVerilog语言描述的测试用例,只需根据功能树结构输入相应的指令便可以自动产生测试用例,从而减少了将功能树结构转化为测试用例所花的时间,提高了验证效率,确保产品能够在较短的时间里不带功能缺陷上市;另外,由于本方法可以在现有功能树结构的基础上根据不同产品增加或减少指令或参数,能够适用不同产品的测试用例的自动生成,从而提高了测试用例的可重用性。
搜索关键词: 微处理器 功能 验证 测试 结构 自动 生成 方法
【主权项】:
1、一种微处理器功能验证测试用例的功能树结构,其特征在于:包括用来表示特定功能验证名称的树根、由树根生出的两个树枝节点、每个树枝节点生出的子树枝节点和每个子树枝节点生出的树叶节点;两个树枝节点分别为场景选择树枝节点和场景实现树枝节点,场景选择树枝节点生出场景选择指令类子树枝节点,场景实现树枝节点生出场景实现指令类子树枝节点和场景实现参数类子树枝节点,场景选择指令类子树枝节点生出操作口令树叶节点,场景实现指令类子树枝节点生出微处理器具体指令树叶节点,场景实现参数类子树枝节点生出控制参数树叶节点。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京时代民芯科技有限公司;中国航天时代电子公司第七七二研究所,未经北京时代民芯科技有限公司;中国航天时代电子公司第七七二研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/200910079415.1/,转载请声明来源钻瓜专利网。

×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top