[发明专利]一种基于事务类型激励的验证方法

说明书

本发明公开了一种基于事务类型激励的验证方法，包括：获取目标特征向量；利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励；利用所述目标事务类型激励对待测芯片进行仿真验证。与现有技术相比，本申请中仅需获取目标特征向量，即可利用转换工具将目标特征向量转换成对应的事务类型激励，进而完成待测芯片的验证，而无需由人工编写事务类型激励，从而大大降低了人工工作的复杂度和工作量，且由于特征向量较事务类型激励而言，构造工作非常简单，因此，大大降低了出错率，进一步降低了验证失效的几率。

技术领域

本发明涉及芯片设计技术领域，更具体地说，涉及一种基于事务类型激励的验证方法。

背景技术

随着工艺技术以及应用领域的不断发展，芯片的复杂度不断提高，相对应的，对于芯片的验证工作的复杂度也不断提高。

传统上验证芯片需要的激励的表达方式有两种，分别为信号类型的激励和事务类型的激励。其中，信号类型的激励即按照时钟对芯片的接口信号进行赋值，这种方式在小规模芯片验证中可以采用，但在超大规模芯片验证中，这种方式需要大量的人工工作，并且很容易出错。而事务类型的激励是将一系列的信号赋值抽象成单个的事务，而设计激励就变成构造事务的组合，这种方式可以适用于超大规模的芯片验证，但因为抽象化的事务表达不够直观，构造事务的工作依然非常复杂和容易出错，因此，增加了人工工作的复杂度和工作量，以及由于事务类型激励的编写错误造成验证失效的几率。

综上所述，如何提供一种基于事务类型激励对超大规模芯片的验证中降低人工工作的复杂度和工作量，及由于事务类型激励的编写错误造成验证失效的几率的技术方案，是目前本领域技术人员亟待解决的问题。

发明内容

本发明的目的是提供一种基于事务类型激励的验证方法，以降低对超大规模芯片的验证中人工工作的复杂度和工作量，及由于事务类型激励的编写错误造成验证失效的几率。

为了实现上述目的，本发明提供如下技术方案：

一种基于事务类型激励的验证方法，包括：

获取目标特征向量；

利用预先构造的转换工具将所述目标特征向量转换成对应的目标事务类型激励；

利用所述目标事务类型激励对待测芯片进行仿真验证。

优选的，获取所述目标特征向量包括：

判断存储模块中是否存储有目标特征向量，如果是，则获取所述目标特征向量，如果否，则构造目标特征向量，并将其保存至所述存储模块中。

优选的，构造目标特征向量包括：

确定需要对待测芯片进行验证的目标验证项目，并确定与所述目标验证项目对应的目标事务类型激励的特征；

构造与所述目标事务类型激励的特征对应的目标特征向量。

优选的，构造目标特征向量包括：

按照随机原则生成特征向量，并确定该特征向量为目标特征向量。

优选的，所述转换工具的预先构造过程包括：

获取与所述待测芯片对应的全部事务类型激励，并量化每个事务类型激励的特征，得到每个事务类型激励对应的特征向量；

利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具。

优选的，利用每个事务类型激励与对应特征向量之间的对应关系构造所述转换工具，包括：