目标事务类型激励的特征对应的目标特征向量。
[0045]即，可以根据目标验证项目确定与之对应的事务类型激励的特征，进而构造特征向量，即，通过定向的构造特征向量获取所需的事务类型激励。如所需特征为特征I和特征2，而特征I对应的数字表达方式为I，特征2对应的数据表达方式为O，因此，上述两个特征对应的特征向量为(I，O)。
[0046]或者按照随机原则生成特征向量，并确定该特征向量为目标特征向量。
[0047]S卩，可以随机生成数字，进而利用这些随机生成的数字组成特征向量，或者说，可以利用加约束的方式生成特征向量，依然以上文中的例子进行说明，如果随机生成数字I，0，则对应特征向量为(I，0)，而对应的事务类型激励的特征为特征I和特征2。
[0048]需要说明的是，事务类型激励的特征可以包括两方面，第一个方面是单个事务类型激励的特征，比如命令类型、数据、路由等信息;而当所需的事务类型激励为一组激励时，则需要获取另一个方面，即激励组的特征，比如激励组包含的激励个数、激励间的顺序关系等。
[0049]另外，对于存储空间的减少程度取决于量化事务类型激励的特征时对于事务类型激励的特征的提取，即，提取的特征越少，对应的特征向量占用的空间越少，因此，在提取事务类型激励的特征时，在确保可以完整表达和区别不同的事务类型激励的前提下，提取的特征越少，能够节省的存储空间越多。
[0050]具体采用上述哪种方式生成特征向量可以由工作人员根据实际需要进行确定，由此，不仅大大降低了构造特征向量的难度，且使得构造特征向量的方式更加灵活简便。
[0051 ]上述实施例提供的一种基于事务类型激励的验证方法中，转换工具的预先构造过程包括:
[0052]获取与待测芯片对应的全部事务类型激励，并量化每个事务类型激励的特征，得到每个事务类型激励对应的特征向量；
[0053]利用每个事务类型激励与对应特征向量之间的对应关系构造转换工具。
[0054]需要说明的是，通过对每个事务类型激励的特征进行量化，能够得到对应的特征向量，而转换工具的构造主要就是编写能够将特征向量转换为对应事务类型激励的转换原贝1J，以能够将任一特征向量转换为对应的事务类型激励，进而完成芯片验证。其中，在量化事务类型激励时能够按照明确的激励定义与格式，对其进行特征提取，从而能够使得单一激励和激励组均可以通过不同的特征向量表示，进而通过特征向量与事务类型激励的对应关系构造转换工具，使得对所需事务类型激励的管理和维护等同于对对应特征向量的管理和维护，从而使得对于事务类型激励的操作通过对对应特征向量的操作来实现，简化了构造的复杂度。
[0055]其中，利用每个事务类型激励与对应特征向量之间的对应关系构造转换工具，可以包括:
[0056]确定任一特征向量与对应事务类型激励之间进行转换的复杂度系数，如果复杂度系数大于阈值，则将与该特征向量对应的转换语言编写在利用应用接口调用的模块中，如果复杂度系数不大于阈值，则将与该特征向量对应的转换语言编写在用于对待测芯片进行验证的验证平台中。
[0057]阈值可以根据实际需要进行确定，而复杂度系数可以是根据历史上对对应转换关系的了解确定的，当复杂系数大于阈值，说明复杂度较高，此时需要利用抽象度较高的语言(比如c++等)编写至对应模块，进而在验证平台通过Pli之类的应用接口对其进行调用。而复杂系数不大于阈值，说明复杂度较低，此时，可以利用脚本语言或硬件描述语言将其编写在验证平台即可，由此，根据不同的复杂度系数确定放置转换语言的不同位置及转换语言的编写语言，能够大大提高了转换工具的工作效率。
[0058]上述实施例提供的一种基于事务类型激励的验证方法中，在获取目标特征向量之前还可以包括:
[0059]在用于对待测芯片进行验证的验证平台上搭建与待测芯片需验证的目标验证项目对应的验证环境。
[0060]通过搭建与目标验证项目对应的验证环境，保证对待测芯片的验证的顺利实现。
[0061]而利用预先构造的转换工具将目标特征向量转换成对应的目标事务类型激励，可以包括:
[0062]利用转换工具将目标特征向量转换成与验证环境相符合的目标事务类型激励。
[0063]由此，能够得到与验证环境相符合的事务类型激励，进而利用该事务类型激励完成对于待测芯片的验证，保证了验证准确性及有效性。
[0064]对所公开的实施例的上述说明，使本领域技术人员能够实现或使用本发明。对这些实施例的多种修改对本领域技术人员来说将是显而易见的，本文中所定义的一般原理可以在不脱离本发明的精神或范围的情况下，在其它实施例中实现。因此，本发明将不会被限制于本文所示的这些实施例，而是要符合与本文所公开的原理和新颖特点相一致的最宽的范围。
【主权项】
1.一种基于事务类型激励的验证方法，其特征在于，包括: 获取目标特征向量； 利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励； 利用所述目标事务类型激励对待测芯片进行仿真验证。2.根据权利要求1所述的方法，其特征在于，获取所述目标特征向量包括: 判断存储模块中是否存储有目标特征向量，如果是，则获取所述目标特征向量，如果否，则构造目标特征向量，并将其保存至所述存储模块中。3.根据权利要求2所述的方法，其特征在于，构造目标特征向量包括: 确定需要对待测芯片进行验证的目标验证项目，并确定与所述目标验证项目对应的目标事务类型激励的特征； 构造与所述目标事务类型激励的特征对应的目标特征向量。4.根据权利要求2所述的方法，其特征在于，构造目标特征向量包括: 按照随机原则生成特征向量，并确定该特征向量为目标特征向量。5.根据权利要求1所述的方法，其特征在于，所述转换工具的预先构造过程包括: 获取与所述待测芯片对应的全部事务类型激励，并量化每个事务类型激励的特征，得到每个事务类型激励对应的特征向量； 利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具。6.根据权利要求5所述的方法，其特征在于，利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具，包括: 确定任一特征向量与对应事务类型激励之间进行转换的复杂度系数，如果所述复杂度系数大于阈值，则将与该特征向量对应的转换语言编写在利用应用接口调用的模块中，如果所述复杂度系数不大于阈值，则将与该特征向量对应的转换语言编写在用于对待测芯片进行验证的验证平台中。7.根据权利要求1所述的方法，其特征在于，在获取目标特征向量之前还包括: 在用于对待测芯片进行验证的验证平台上搭建与所述待测芯片需验证的目标验证项目对应的验证环境。8.根据权利要求7所述的方法，其特征在于，利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励，包括: 利用所述转换工具将所述目标特征向量转换成与所述验证环境相符合的目标事务类型激励。
【专利摘要】本发明公开了一种基于事务类型激励的验证方法，包括：获取目标特征向量；利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励；利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比，本申请中仅需获取目标特征向量，即可利用转换工具将目标特征向量转换成对应的事务类型激励，进而完成待测芯片的验证，而无需由人工编写事务类型激励，从而大大降低了人工工作的复杂度和工作量，且由于特征向量较事务类型激励而言，构造工作非常简单，因此，大大降低了出错率，进一步降低了验证失效的几率。
【IPC分类】G06F17/50
【公开号】CN105447251
【申请号】CN201510866718
【发明人】李拓
【申请人】浪潮(北京)电子信息产业有限公司
【公开日】2016年3月30日
【申请日】2015年12月1日