发明授权
- 专利标题: 一种基于事务类型激励的验证方法
-
申请号: CN201510866718.3申请日: 2015-12-01
-
公开(公告)号: CN105447251B公开(公告)日: 2018-12-07
- 发明人: 李拓
- 申请人: 浪潮(北京)电子信息产业有限公司
- 申请人地址: 北京市海淀区上地信息路2号2-1号C栋1层
- 专利权人: 浪潮(北京)电子信息产业有限公司
- 当前专利权人: 浪潮(北京)电子信息产业有限公司
- 当前专利权人地址: 北京市海淀区上地信息路2号2-1号C栋1层
- 代理机构: 北京集佳知识产权代理有限公司
- 代理商 罗满
- 主分类号: G06F17/50
- IPC分类号: G06F17/50
摘要:
本发明公开了一种基于事务类型激励的验证方法,包括:获取目标特征向量;利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励;利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比,本申请中仅需获取目标特征向量,即可利用转换工具将目标特征向量转换成对应的事务类型激励,进而完成待测芯片的验证,而无需由人工编写事务类型激励,从而大大降低了人工工作的复杂度和工作量,且由于特征向量较事务类型激励而言,构造工作非常简单,因此,大大降低了出错率,进一步降低了验证失效的几率。
公开/授权文献
- CN105447251A 一种基于事务类型激励的验证方法 公开/授权日:2016-03-30