一种基于测试向量乱序和丢弃行为的验证方法技术

本发明专利技术揭示了一种基于测试向量乱序和丢弃行为的验证方法，乱序包括调度乱序和流水线乱序，所述验证方法包括：S1，基于测试向量分组法的调度乱序验证过程；S2，基于测试向量特征值的流水线乱序验证过程；S3，基于测试向量特征值的丢弃验证过程。本发明专利技术有效地解决了芯片测试中测试向量乱序和丢弃所引起的记分板比对失效的问题，同时，解决了传统方法中带来的参考模型复杂度高，与DUT过于耦合等问题。

A Verification Method Based on Test Vector Disordering and Discarding Behavior

【技术实现步骤摘要】
一种基于测试向量乱序和丢弃行为的验证方法
本专利技术涉及一种芯片测试技术，尤其是涉及一种基于测试向量乱序和丢弃行为的验证方法。
技术介绍
当前的测试流程和技术中，存在由于测试向量乱序和丢弃导致DUT(designundertest，待测设计)输出结果与参考模型输出结果无法一一比对的问题。针对上述问题，通常要求参考模型严格参照DUT设计架构，通过模拟DUT的乱序和丢弃行为从而达到两者输出结果的一致性。但是这种方案存在以下缺点：1、DUT的设计架构复杂程度直接影响到参考模型的复杂程度；2、验证人员很容易跟着设计人员的思路去设计用于测试的参考模型，存在测试盲区；3、DUT和参考模型，两者耦合性过高，DUT设计架构的一点点改动可能导致现有参考模型的不可用；4、面对特别复杂和特殊的设计来说，参考模型存在无法完全模拟的情况，需要偷取DUT内部信号作为部分逻辑的启动条件，而这些被偷取的信号便存在测试遗漏的风险。
技术实现思路
本专利技术的目的在于克服现有技术的缺陷，提供一种基于测试向量乱序和丢弃行为的验证方法。为实现上述目的，本专利技术提出如下技术方案：一种基于测试向量乱序和丢弃行为的验证方法，所述乱序包括调度乱序和流水线乱序，所述验证方法包括：S1，基于测试向量分组法的调度乱序验证过程；S2，基于测试向量特征值的流水线乱序验证过程；S3，基于测试向量特征值的丢弃验证过程。优选地，所述S1包括：S11，记分板将接收的参考模型的测试向量分组，存入对应的队列中；S12，记分板在接收到DUT的测试向量后，从所述队列中找到需要比较的测试向量，进行DUT的测试向量和参考模型的测试向量的比较。优选地，S11中，记分板按照调度算法的基准将参考模型的测试向量分组，所述调度算法的基准包括通道号、优先级标识。优选地，记分板从所述DUT的测试向量中找到对应的队列标识，所述队列标识包括通道号、优先级标识，根据所述队列标识从队列中取出对应需要比较的参考模型的测试向量。优选地，所述S2包括：S21，激励发生器产生测试向量时，为每个所述测试向量插入一个唯一标识所述向量的向量特征值；S22，从参考模型的乱序队列或普通队列中取出需要比较的测试向量，将所述测试向量与DUT输出的测试向量中的所述向量特征值比较，确认这两个测试向量是否匹配；S23，若匹配通过，则进一步比较DUT输出的测试向量中除向量特征值外的其他内容，进入步骤S24，若匹配不通过，则将参考模型输出的测试向量存储到乱序队列中；S24，若比较通过，则进行DUT输出的下一测试向量的比较，并返回步骤S22，否则测试不通过，仿真停止。优选地，所述S22包括：S221，判断乱序队列是否为空，若不为空，则从乱序队列中取出需要比较的测试向量，若为空，则进入步骤S222；S222，判断普通队列是否为空，若不为空，则从普通队列中取出需要比较的测试向量，若为空，则仿真异常退出；S223，将从乱序队列或普通队列中取出的测试向量与DUT输出的测试向量中的向量特征值比较，确认这两个测试向量是否匹配。优选地，S24，仿真停止后，打印出两个测试向量的内容。优选地，所述S3包括：S31，激励发生器产生测试向量时，为每个所述测试向量插入一个唯一标识所述向量的向量特征值；S32，从参考模型的乱序队列或普通队列中取出需要比较的测试向量，将所述测试向量与DUT输出的测试向量中的所述向量特征值比较，确认这两个测试向量是否匹配；S33，若匹配通过，则进一步比较DUT输出的测试向量中除向量特征值外的其他内容，进入步骤S34，若匹配不通过，则将参考模型输出的测试向量进行丢弃，返回步骤S32；S34，若比较通过，则进行DUT输出的下一测试向量的比较，并返回步骤S32，否则测试不通过，仿真停止。优选地，所述S32包括：S321，判断乱序队列是否为空，若不为空，则从乱序队列中取出需要比较的测试向量，若为空，则进入步骤S322；S322，判断普通队列是否为空，若不为空，则从普通队列中取出需要比较的测试向量，若为空，则仿真异常退出；S323，将从乱序队列或普通队列中取出的测试向量与DUT输出的测试向量中的向量特征值比较，确认这两个测试向量是否匹配。优选地，S34，仿真停止后，打印出两个测试向量的内容。本专利技术的有益效果是：本专利技术通过标记测试向量特性值，测试向量合理分组，记录测试向量丢弃信息等方法，有效地解决了芯片测试中测试向量乱序和丢弃所引起地记分板比对失效的问题，同时，解决了传统方法中带来的参考模型复杂度高，与DUT过于耦合等问题。附图说明图1是通用的测试平台架构的结构示意图；图2是本专利技术方法的示意图；图3是本专利技术步骤S1的流程示意图；图4是本专利技术步骤S2的流程示意图；图5是本专利技术步骤S3的流程示意图。具体实施方式下面将结合本专利技术的附图，对本专利技术实施例的技术方案进行清楚、完整的描述。首先，需要说明下哪些场景下会出现测试向量的乱序和丢弃问题，其中，乱序场景：DUT内部存在调度逻辑，针对不同的测试向量会采用不同的调度权重和优先级，则会出现先入的测试向量后出，后入的测试向量先出的情况；DUT内部存在并行的不同延时的流水线设计，则当先入的测试向量走延时较大的流水线逻辑，后入的测试向量走延时较小的流水线逻辑，则乱序情况就出现了。丢弃行为：DUT会先将接收到的测试向量存储下来，然后发送给后续模块，当后续模块接收能力有限时就会存在接收拥堵的情况，当达到存储上限时便出现了测试向量被丢弃的情况；或者，DUT内部存在出错判断逻辑，当逻辑检查到测试向量存在异常，或处理流程中出现异常(如存储单元的奇偶校验码Parity/错误检查和纠正ECC错误)，都可能存在直接将对应的测试向量丢弃的情况。通用的测试平台架构如图1所示，由激励发生器、DUT(designundertest，待测设计)、参考模型、记分板所组成，其中，激励发生器负责模拟前级模块发送的测试向量，DUT是待测的RTL(RegisterTransferLevel，寄存器传输级)模块，参考模型用于模拟DUT的基本功能，记分板分别接收DUT和参考模型所输出的结果，如果比较结果一致则测试通过，否则测试不通过。结合图2所示，本专利技术所揭示的一种基于测试向量乱序和丢弃行为的验证方法，包括：S1，基于测试向量分组法的调度乱序验证过程。具体地，如图3所示，首先明确DUT中的调度算法，记分板在接收到参考模型输出的测试向量后，按照调度算法的基准进行分组，比如通道号、优先级标识等，存入对应的队列中；当记分板接收到DUT输出的测试向量后，根据DUT的测试向量中的队列标识从对应队列中找出需要比较的参考模型的测试向量进行比对，从而解决乱序的问题。首先，从DUT输出的测试向量中找到对应的队列标识，比如通道号，根据该通道号，从对应编号的比较队列中取出需要比较的参考模型的测试向量，进行DUT的测试向量和参考模型的测试向量的向量比较。S2，基于测试向量特征值的流水线乱序验证过程。具体地，该步骤是针对并行的不同延时的流水线设计引起的乱序行为，采用测试向量特征值的方法。测试向量特征值是指在激励发生器产生测试向量(即激励)时，为每一个测试向量插入一个唯一标识该向量的向量特征值。进行测试向量比对时，本实施例中，如图4所示，包括以下步骤：步骤1：判断从参考模型的本文档来自技高网...

【技术保护点】
1.一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述乱序包括调度乱序和流水线乱序，所述验证方法包括：S1，基于测试向量分组法的调度乱序验证过程；S2，基于测试向量特征值的流水线乱序验证过程；S3，基于测试向量特征值的丢弃验证过程。

【技术特征摘要】
1.一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述乱序包括调度乱序和流水线乱序，所述验证方法包括：S1，基于测试向量分组法的调度乱序验证过程；S2，基于测试向量特征值的流水线乱序验证过程；S3，基于测试向量特征值的丢弃验证过程。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所述的一种基于测试向量乱序和丢弃行为的验证方法，其特征在于，所述S...

【专利技术属性】
技术研发人员：唐飞，薛炜澎，常志恒，
申请(专利权)人：盛科网络苏州有限公司，
类型：发明
国别省市：江苏,32