[发明专利]一种随机验证评估方法及系统

说明书

技术领域

本发明涉及芯片验证领域，尤其涉及一种随机验证评估方法及系统。

背景技术

随着服务器应用领域的不断发展，高端服务器的应用需求已经进入了一个重要阶段。复杂的体系结构实现支持高端服务器系统实现高性能指标、高安全性、高可用性、高可靠性等特点。这就需要网络控制类芯片控制多路处理器系统，使系统内部报文传输达到高效可靠、安全稳定。而对于该类的控制芯片来说，其核心是与协议处理相关的模块，这部分模块一方面复杂度非常高，逻辑量非常大，必须采用随机验证的方式进行模块级的验证，另一方面，这部分模块与系统运行的关系紧密，模块级验证充分对系统级验证有着非常重要的作用。

此类问题常用的解决方法是以代码覆盖率作为衡量模块级验证是否充分的标志，但这种方式存在一个问题：对于协议处理这类拥有大量分支判断和流水线并行处理逻辑的模块，要做到对代码全路径组合的覆盖是基本不可能的，而一般的语句覆盖对于这种模块的意义不大。而如果用断言的方式进行对关键路径的检查的话，一方面断言编写的工作量将会非常大，并且可能有部分无效的断言；另一方面只针对于验证模块逻辑编写的断言很可能并不符合实际系统的状态。并且，这些做法在模块复杂度增加的时候，工作量会以指数级增长。

发明内容

为了解决上述问题，本发明提出了一种随机验证评估方法及系统，能够有效地评估模块级随机验证的充分程度。

为了达到上述目的，本发明提出了一种随机验证评估方法，该方法包括：

从预选出的一个或多个模块中选出一个或多个关键路径。

通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。

将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。

优选地，对一个或多个关键路径的选择是指：在预选出的一个或多个模块中从逻辑上选出预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个模块全部的工作状态。

优选地，对一个或多个关键路径的统计的内容包括：对单个信号的变化范围或根据预选出的一个或多个模块的内部信号的关联性对单个信号的组合进行统计；统计出一个或多个关键路径中不同的单个信号或所述单个信号的组合的出现情况。

优选地，根据关键路径的统计结果生成对关键路径的断言包括以下方式：当单个信号或单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成断言；当单个信号或单个信号的组合的数量大于预定的阈值时，通过脚本语言自动生成断言。

优选地，检测是否违反断言是指：在包括多模块集成验证和系统级验证的上层验证中，使用上层验证的激励，检验预选出的一个或多个模块会不会出现模块级随机验证没有覆盖到的状态，如果出现了模块级随机验证没有覆盖到的状态，则出现违反断言的情况；如果没有出现模块级的随机验证没有覆盖到的状态，则没有出现违反断言的情况。

本发明还提出一种随机验证评估系统，该系统包括：关键路径选择单元、断言生成单元、检测单元。

关键路径选择单元，用于从预选出的一个或多个模块中选出一个或多个关键路径。

断言生成单元，用于通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。

检测单元，用于将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。

优选地，关键路径选择单元还用于：在预选出的一个或多个模块中从逻辑上选出预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个模块全部的工作状态。

优选地，断言生成单元还用于：对单个信号的变化范围或根据预选出的一个或多个模块的内部信号的关联性对单个信号的组合进行统计；统计出一个或多个关键路径中不同的单个信号或单个信号的组合的出现情况。

优选地，断言生成单元还用于：通过以下方式根据关键路径的统计结果生成对关键路径的断言：当单个信号或单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成断言；当单个信号或单个信号的组合的数量大于预定的阈值时，通过脚本语言自动生成断言。