[发明专利]一种并行验证的验证方法

摘要

本发明描述了一种并行验证的验证方法，该发明可对若干个算法原理相同，但实现方式不同的逻辑设计模块进行并行验证，并将每个逻辑设计模块的结果和参考模型的预期计算结果进行比对，产生比对结果。该发明将把多个逻辑模块信号接口的差异性，封装在验证平台的最低层，而将通用的验证脚本及事务配置方法提供给验证平台的顶层，供验证人员使用，以便进行验证平台以及测试用例的重用，简化验证人员的工作量，并缩短验证周期。该发明将适用于算法原理相同，但由于需求不同，造成实现方式不同的模块的验证。经过验证后的模块组，将用于不同的项目，或用于性能对比及评估。

主权项

1.一种并行验证的验证方法，其特征在于，实现该验证方法的验证平台包括验证脚本与验证环境两部分，所述验证平台以分层的形式来进行搭建，自顶向下的顺序依次为：用户层、脚本层、测试层、场景层、功能层、命令层、信号层；其中，所述用户层面向验证人员，验证人员只需要通过输入设备，维护测试用例列表，并输入脚本命令，就可以运行仿真，仿真结束后，将得到脚本运行日志文件，以及测试用例的运行结果和异常信息；所述脚本层处理用户层的脚本命令，并通过测试用例列表，找到对应的测试用例的描述信息，同时，它将根据该信息，生成测试用例配置文件，以上步骤，都是验证脚本自动运行的，验证人员无需进行任何操作；所述测试层包括验证环境顶层的所有功能，包括验证组件的初始化、运行、结果输出以及异常处理，在整个验证平台中，它具有承上启下的作用，一方面，它将初始化下层的验证组件，把上层提供的配置信息传递给下层验证组件，并运行验证人员手动配置的测试用例激励文件；另一方面，它将搜集下层组件上报的计算结果与异常信息，并以统一的格式反馈给用户层；所述场景层根据上层的测试用例配置文件，生成当前测试用例的事务列表中，事务列表将包含所有的测试基本单元、即事务(Transaction)，不同的事务列表的组合将对应不同场景的测试；所述功能层包含代理器、检查器和积分板，其中，代理器将把事务并行的进行分发，保证每个被测模块以及积分板都能得到相同的输入数据，检查器并行的监控所有被测模块的计算结果数据，并传递给积分板，最后，积分板对所有被测模块的计算结果和参考模型的期望结果进行比对，并将所有比对结果反馈回测试层；所述命令层包含参考模型、驱动器组和监视器组，参考模型将根据事务中的输入数据，进行期望结果的运算，并将其传递给积分板，驱动器组包含多个驱动器，每个驱动器将生成不同的输入激励时序给不同的被测模块，且一一对应，监视器组包含多个监视器，每个监视器将监测不同被测模块的输出，并把输出结果写回到事务中，监视器与被测模块也是一一对应的；在命令层，所有驱动器从代理器得到的事务都是相同的，如果每个被测模块的计算过程都无误，所有监视器传递给检查器的事务也应该相同，且和参考模型产生的事务结果数据一致；所述信号层包含接口组、快照组、断言和被测模块组，其中：接口组包含多个接口，每个接口都对应一簇输入输出信号，这簇输入信号将与一个被测模块连接，快照组包含多个快照，每个快照将对应一簇信号，这簇信号将对应一个被测模块的内部信号，断言将实时监测每个被测中的关键信号，当出现信号非法时，实时上报断言信息给测试层，被测模块组包含多个被测模块，各个被测模块的算法原理均相同，工作流程一致，但实现细节有差异；该验证方法支持相同算法不同实现方案的并行验证，使用并行化的方法进行验证，所有的被测模块(DUT)，将同时被灌入测试输入时序，同时，验证环境会搜集所有被测模块的计算结果，确保所有模块的计算结果都计算完成后，再进行下一次计算；验证环境对于被测模块输入信号的驱动，以及输出信号的监控，均并行且独立的执行，不同的被测模块间的输入信号和输出信号，不会互相干扰。