[发明专利]多接口激励实现方法

说明书

本发明涉及一种多接口激励实现方法，包括步骤S1、将待验证模块多个接口对应的激励信号以及目标激励信号设置在一个预设共享类中，生成共享包，目标激励信号基于多个接口对应的激励信号生成；步骤S2、获取S对应的原始约束C以及S₁对应的原始约束C₁，基于C、f(S_i)、C₁确定S₁对应的调整约束C₁’，基于C₁’获取S₁对应的随机值SA₁；步骤S3、基于SA₁、f(S_i)、C确定S对应的调整约束C’，基于C’获取S对应的随机值SA；步骤S4、基于SA、f(S_i)、C_j确定S_j对应的调整约束C_j’，基于C_j’获取S_j对应的SA_j,j逐个从2取到N‑1；步骤S5、基于SA₁、S、SA_j、f(S_i)确定SA_N；步骤S6、将SA_i分别赋值给第i接口对应的输入序列中驱动待验证模块。本发明加快了随机速度，提高了验证效率。

技术领域

本发明涉及芯片验证技术领域，尤其涉及一种多接口激励实现方法。

背景技术

芯片验证的过程中，芯片中的待验证模块大多会存在多个接口，用于一个系统内关联模块的通信。尤其是有存储作用的待验证模块可能涉及较多的模块之间的数据传递存储以及地址的计算等操作。这种情况下，待验证模块的各个接口上的数据会出现关联性，可能是因果关联，也可能因为作用同一个数据而产生互相约束，例如由多个因子生成的地址的场景。在这种情况下，此模块的激励没有办法单独进行约束随机，如果通过sequence（序列）进行传递，则会大大增加数据生成的复杂度，并且各个接口可能互相独立，当接口数据需要实时对应时，数据的中间存储变得困难复杂，sequence数据传递的时效性难以保证。多个接口上的数据，因为相互的约束，会交叉生成更多的约束。如果把这些约束全部以constraint（约束）的形式定义，并全部交给仿真器来进行求解，这个约束求解的过程会变得异常耗时，而且很可能最终求解失败。这样对于需要进行多次随机生成激励的sequence来说，跑仿真就变得耗时甚至因为无法生成激励而严重影响验证过程中的debug（调试）和regression（回归），严重影响了验证效率。

发明内容

本发明目的在于，提供一种多接口激励实现方法，避免不同接口的sequence之间的数据传递，实现分步逐个随机，减少了随机过程中的计算量，加快了随机速度，提高了验证效率。

根据本发明第一方面，提供了一种多接口激励实现方法，包括：

步骤S1、将待验证模块多个接口对应的激励信号以及目标激励信号设置在一个预设共享类中，生成一个共享包sharing_pkt，所述目标激励信号基于所述多个接口对应的激励信号生成：S=f(S_i)=a₁*S₁+a₂*S₂+…a_N*S_N,其中，S表示目标激励信号，S_i表示第i接口对应的激励信号, i的取值范围为1到N，N为接口总数，a_i表示S_i的系数，│a₁│≥│a₂│≥…│a_N│；

步骤S2、在sharing_pkt中，获取S对应的原始约束C以及S₁对应的原始约束C₁，基于C、f(S_i)、C₁确定S₁对应的调整约束C₁’，基于C₁’获取S₁对应的随机值SA₁；