一种基于事务类型激励的验证方法
【技术领域】
[0001]本发明涉及芯片设计技术领域，更具体地说，涉及一种基于事务类型激励的验证方法。
【背景技术】
[0002]随着工艺技术以及应用领域的不断发展，芯片的复杂度不断提高，相对应的，对于芯片的验证工作的复杂度也不断提高。
[0003]传统上验证芯片需要的激励的表达方式有两种，分别为信号类型的激励和事务类型的激励。其中，信号类型的激励即按照时钟对芯片的接口信号进行赋值，这种方式在小规模芯片验证中可以采用，但在超大规模芯片验证中，这种方式需要大量的人工工作，并且很容易出错。而事务类型的激励是将一系列的信号赋值抽象成单个的事务，而设计激励就变成构造事务的组合，这种方式可以适用于超大规模的芯片验证，但因为抽象化的事务表达不够直观，构造事务的工作依然非常复杂和容易出错，因此，增加了人工工作的复杂度和工作量，以及由于事务类型激励的编写错误造成验证失效的几率。
[0004]综上所述，如何提供一种基于事务类型激励对超大规模芯片的验证中降低人工工作的复杂度和工作量，及由于事务类型激励的编写错误造成验证失效的几率的技术方案，是目前本领域技术人员亟待解决的问题。
【发明内容】
[0005]本发明的目的是提供一种基于事务类型激励的验证方法，以降低对超大规模芯片的验证中人工工作的复杂度和工作量，及由于事务类型激励的编写错误造成验证失效的几率。
[0006]为了实现上述目的，本发明提供如下技术方案:
[0007]—种基于事务类型激励的验证方法，包括:
[0008]获取目标特征向量；
[0009]利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励；
[0010]利用所述目标事务类型激励对待测芯片进行仿真验证。
[0011 ]优选的，获取所述目标特征向量包括:
[0012 ]判断存储模块中是否存储有目标特征向量，如果是，则获取所述目标特征向量，如果否，则构造目标特征向量，并将其保存至所述存储模块中。
[0013]优选的，构造目标特征向量包括:
[0014]确定需要对待测芯片进行验证的目标验证项目，并确定与所述目标验证项目对应的目标事务类型激励的特征；
[0015]构造与所述目标事务类型激励的特征对应的目标特征向量。
[0016]优选的，构造目标特征向量包括:
[0017 ]按照随机原则生成特征向量，并确定该特征向量为目标特征向量。
[0018]优选的，所述转换工具的预先构造过程包括:
[0019]获取与所述待测芯片对应的全部事务类型激励，并量化每个事务类型激励的特征，得到每个事务类型激励对应的特征向量；
[0020]利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具。
[0021]优选的，利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具，包括:
[0022]确定任一特征向量与对应事务类型激励之间进行转换的复杂度系数，如果所述复杂度系数大于阈值，则将与该特征向量对应的转换语言编写在利用应用接口调用的模块中，如果所述复杂度系数不大于阈值，则将与该特征向量对应的转换语言编写在用于对待测芯片进行验证的验证平台中。
[0023]优选的，在获取目标特征向量之前还包括:
[0024]在用于对待测芯片进行验证的验证平台上搭建与所述待测芯片需验证的目标验证项目对应的验证环境。
[0025]优选的，利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励，包括:
[0026]利用所述转换工具将所述目标特征向量转换成与所述验证环境相符合的目标事务类型激励。
[0027]本发明提供的一种基于事务类型激励的验证方法，包括:获取目标特征向量;利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励;利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比，本申请中仅需获取目标特征向量，即可利用转换工具将目标特征向量转换成对应的事务类型激励，进而完成待测芯片的验证，而无需由人工编写事务类型激励，从而大大降低了人工工作的复杂度和工作量，且由于特征向量较事务类型激励而言，构造工作非常简单，因此，大大降低了出错率，进一步降低了验证失效的几率。
【附图说明】
[0028]为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据提供的附图获得其他的附图。
[0029]图1为本发明实施例提供的一种基于事务类型激励的验证方法的流程图。
【具体实施方式】
[0030]下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
[0031]请参阅图1，其示出了本发明实施例提供的一种基于事务类型激励的验证方法的流程图，可以包括以下步骤:
[0032]Sll:获取目标特征向量。
[0033]其中，目标特征向量与对应事务类型激励的特征相对应。
[0034]S12:利用预先构造的转换工具将目标特征向量转换成对应的目标事务类型激励。
[0035]需要说明的是，转换工具中具有对应的转换规则，当获取到目标特征向量后，转换工具可以利用与目标特征向量对应的转换规则将其转换成目标事务类型激励，另外，目标特征向量可以是多个特征向量组成的向量组，对应的，目标事务类型激励可以是多个事务类型激励组成的激励组。
[0036]S13:利用目标事务类型激励对待测芯片进行仿真验证。
[0037]其中，利用目标事务类型激励对待测芯片进行仿真验证与现有技术中利用事务类型激励对待测芯片的验证可以是一致的，因此，在此不再赘述。
[0038]本申请中仅需获取目标特征向量，g卩可利用转换工具将目标特征向量转换成对应的事务类型激励，进而完成待测芯片的验证，而无需由人工编写事务类型激励，从而大大降低了人工工作的复杂度和工作量，且由于特征向量较事务类型激励而言，构造工作非常简单，因此，大大降低了出错率，进一步降低了验证失效的几率。另外，由于特征向量的结构较为简单，大大增加了其直观性，便于对其进行分析。
[0039]上述实施例提供的一种基于事务类型激励的验证方法中，获取目标特征向量可以包括:
[0040]判断存储模块中是否存储有目标特征向量，如果是，则获取目标特征向量，如果否，则构造目标特征向量，并将其保存至存储模块中。
[0041]需要说明的是，获取目标特征向量的方式具体有两种，一种为由存储模块中直接调取所需的特征向量，一种是构造所需的特征向量，其中，由存储模块中直接调取所需的特征向量进一步进行验证也可以被称为回归测试。本申请中，利用特征向量代替事务类型激励被保存至存储模块中，即利用参数化的方式实现事务类型激励的生成和保存，将抽象化的事务组合量化成向量组，或者说将生成及保存复杂的事务类型激励变成生成及保存对应的参数，因此，在大大减少了存储占用资源，更利于维护的同时，使得事务类型激励的特征更加直观和易于分析。
[0042]上述实施例提供的一种基于事务类型激励的验证方法中，构造目标特征向量可以包括:
[0043]确定需要对待测芯片进行验证的目标验证项目，并确定与目标验证项目对应的目标事务类型激励的特征；
[0044]构造与