[发明专利]微处理器功能验证测试用例的功能树结构及自动生成方法有效
申请号: | 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/,转载请声明来源钻瓜专利网。
- 上一篇:图像处理装置
- 下一篇:数据分类系统与其分类树的建构方法