[发明专利]一种基于事务类型激励的验证方法有效
| 申请号： | 201510866718.3 | 申请日： | 2015-12-01 |
| 公开（公告）号： | CN105447251B | 公开（公告）日： | 2018-12-07 |
| 发明（设计）人： | 李拓 | 申请（专利权）人： | 浪潮（北京）电子信息产业有限公司 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 北京集佳知识产权代理有限公司 11227 | 代理人： | 罗满 |
| 地址： | 100085 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于事务类型激励的验证方法，包括：获取目标特征向量；利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励；利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比，本申请中仅需获取目标特征向量，即可利用转换工具将目标特征向量转换成对应的事务类型激励，进而完成待测芯片的验证，而无需由人工编写事务类型激励，从而大大降低了人工工作的复杂度和工作量，且由于特征向量较事务类型激励而言，构造工作非常简单，因此，大大降低了出错率，进一步降低了验证失效的几率。 | ||
| 搜索关键词： | 一种 基于 事务 类型 激励 验证 方法 | ||
【主权项】：
1.一种基于事务类型激励的验证方法，其特征在于，包括：获取目标特征向量；利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励；利用所述目标事务类型激励对待测芯片进行仿真验证；所述转换工具的预先构造过程包括：获取与所述待测芯片对应的全部事务类型激励，并量化每个事务类型激励的特征，得到每个事务类型激励对应的特征向量；利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具；利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具，包括：确定任一特征向量与对应事务类型激励之间进行转换的复杂度系数，如果所述复杂度系数大于阈值，则将与该特征向量对应的转换语言编写在利用应用接口调用的模块中，如果所述复杂度系数不大于阈值，则将与该特征向量对应的转换语言编写在用于对待测芯片进行验证的验证平台中。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于浪潮（北京）电子信息产业有限公司，未经浪潮（北京）电子信息产业有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201510866718.3/，转载请声明来源钻瓜专利网。
