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

权利要求书

1.一种随机验证评估方法，其特征在于，所述方法包括：

预先在系统的所有模块中选出具有核心作用并且达到预定的复杂程度的一个或多个模块；

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

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

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

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

2.如权利要求1所述的方法，其特征在于，

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

3.如权利要求2所述的方法，其特征在于，所述根据所述关键路径的统计结果生成对所述关键路径的断言包括以下方式：当所述单个信号或所述单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成所述断言；当所述单个信号或所述单个信号的组合的数量大于所述预定的阈值时，通过所述脚本语言自动生成所述断言。

4.如权利要求1所述的方法，其特征在于，所述检测是否违反所述断言是指：在包括多模块集成验证和系统级验证的上层验证中，使用所述上层验证的激励，检验所述预选出的一个或多个模块会不会出现所述模块级随机验证没有覆盖到的状态，如果出现了所述模块级随机验证没有覆盖到的状态，则出现违反所述断言的情况；如果没有出现所述模块级的随机验证没有覆盖到的状态，则没有出现违反所述断言的情况。

5.一种随机验证评估系统，其特征在于，所述系统包括：关键路径选择单元、断言生成单元、检测单元；

所述关键路径选择单元，用于预先在系统的所有模块中选出具有核心作用并且达到预定的复杂程度的一个或多个模块；

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

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

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

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

6.如权利要求5所述的系统，其特征在于，所述断言生成单元还用于：

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

7.如权利要求6所述的系统，其特征在于，所述断言生成单元还用于：通过以下方式根据所述关键路径的统计结果生成对所述关键路径的断言：当所述单个信号或所述单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成所述断言；当所述单个信号或所述单个信号的组合的数量大于所述预定的阈值时，通过所述脚本语言自动生成所述断言。

8.如权利要求5所述的系统，其特征在于，所述检测单元还用于：在包括多模块集成验证和系统级验证的上层验证中，使用所述上层验证的激励，检验所述预选出的一个或多个模块会不会出现所述模块级随机验证没有覆盖到的状态，如果出现了所述模块级随机验证没有覆盖到的状态，则出现违反所述断言的情况；如果没有出现所述模块级的随机验证没有覆盖到的状态，则没有出现违反所述断言的情况。