[发明专利]一种基于测试向量乱序和丢弃行为的验证方法

权利要求书

1.一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述乱序包括调度乱序和流水线乱序，所述验证方法包括：

S1，基于测试向量分组法的调度乱序验证过程；

S2，基于测试向量特征值的流水线乱序验证过程；

S3，基于测试向量特征值的丢弃验证过程；

所述S3包括：

S31，激励发生器产生测试向量时，为每个所述测试向量插入一个唯一标识所述向量的向量特征值；

S32，从参考模型的乱序队列或普通队列中取出需要比较的测试向量，将所述测试向量与DUT输出的测试向量中的所述向量特征值比较，确认这两个测试向量是否匹配；

S33，若匹配通过，则进一步比较DUT输出的测试向量中除向量特征值外的其他内容，进入步骤S34，若匹配不通过，则将参考模型输出的测试向量进行丢弃，返回步骤S32；

S34，若比较通过，则进行DUT输出的下一测试向量的比较，并返回步骤S32，否则测试不通过，仿真停止。

2.根据权利要求1所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述S1包括：

S11，记分板将接收的参考模型的测试向量分组，存入对应的队列中；

S12，记分板在接收到DUT的测试向量后，从所述队列中找到需要比较的测试向量，进行DUT的测试向量和参考模型的测试向量的比较。

3.根据权利要求2所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，S11中，记分板按照调度算法的基准将参考模型的测试向量分组，所述调度算法的基准包括通道号、优先级标识。

4.根据权利要求2所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，S12中，记分板从所述DUT的测试向量中找到对应的队列标识，所述队列标识包括通道号、优先级标识，根据所述队列标识从队列中取出对应需要比较的参考模型的测试向量。

5.根据权利要求1所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述S2包括：

S21，激励发生器产生测试向量时，为每个所述测试向量插入一个唯一标识所述向量的向量特征值；

S22，从参考模型的乱序队列或普通队列中取出需要比较的测试向量，将所述测试向量与DUT输出的测试向量中的所述向量特征值比较，确认这两个测试向量是否匹配；

S23，若匹配通过，则进一步比较DUT输出的测试向量中除向量特征值外的其他内容，进入步骤S24，若匹配不通过，则将参考模型输出的测试向量存储到乱序队列中；

S24，若比较通过，则进行DUT输出的下一测试向量的比较，并返回步骤S22，否则测试不通过，仿真停止。

6.根据权利要求5所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述S22包括：

S221，判断乱序队列是否为空，若不为空，则从乱序队列中取出需要比较的测试向量，若为空，则进入步骤S222；

S222，判断普通队列是否为空，若不为空，则从普通队列中取出需要比较的测试向量，若为空，则仿真异常退出；

S223，将从乱序队列或普通队列中取出的测试向量与DUT输出的测试向量中的向量特征值比较，确认这两个测试向量是否匹配。

7.根据权利要求5所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，S24，仿真停止后，打印出两个测试向量的内容。

8.根据权利要求1所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述S32包括：

S321，判断乱序队列是否为空，若不为空，则从乱序队列中取出需要比较的测试向量，若为空，则进入步骤S322；

S322，判断普通队列是否为空，若不为空，则从普通队列中取出需要比较的测试向量，若为空，则仿真异常退出；

S323，将从乱序队列或普通队列中取出的测试向量与DUT输出的测试向量中的向量特征值比较，确认这两个测试向量是否匹配。

9.根据权利要求1所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，S34，仿真停止后，打印出两个测试向量的内容。