一种随机验证的方法及装置制造方法及图纸

本发明专利技术实施例提供了一种随机验证的方法及装置，涉及芯片设计领域，所述方法包括：确定出随机约束池中包含的至少四个随机约束向量；所述随机约束向量中包含有至少一个随机约束参数；分别对所述随机约束池中的随机约束向量进行仿真处理，获取初始覆盖率；在所述初始覆盖率未达到预设目标覆盖率时，循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，直至仿真条件参数满足结束要求；所述结束要求是预先设置的，用于结束对随机约束池进行差分进化处理的要求信息；根据差分进化处理后的所述随机约束池中的随机约束向量，进行随机验证。本发明专利技术适用于用多个随机约束进行随机验证的场景。

【技术实现步骤摘要】

本专利技术涉及芯片设计领域，尤其涉及一种随机验证的方法及装置。
技术介绍
随着科学技术的发展，各种网络设备的功能越来越复杂，因此网络设备中的芯片的复杂度不断提高。相应的，对芯片进行检验的验证工作的复杂度也不断提高。对于复杂度高的芯片，需要采用采集验证的方式进行验证。在传统的随机验证方式中，一次随机验证采用一组随机约束，结束后用评估验证效果。这种方式会存在该如何确定验证规模即为确定随机激励的数目的问题。如果一次随机验证的随机激励的数目太少，那可能会出现很多应该能覆盖到的场景都无法覆盖到的问题。如果一次随机验证的随机激励的数目太多，由于用的是同一组随机约束，会出现产生的场景的多样性随着时间呈指数下降的问题。再加上“合适的随机激励的数目”是会随着目前的验证程度以及特定的随机约束变化而不断改变的，无法靠分析和以往经验得到确切数字。因此，当前普遍的方式是在牺牲验证效率的情况下，尽可能地保证验证效果，即为选用尽可能大的随机验证激励规模。
技术实现思路
本专利技术的实施例提供一种随机验证的方法及装置，用以在保证验证效果的同时，提高验证效率。为达到上述目的，本专利技术的实施例采用如下技术方案：本专利技术实施例提供了一种随机验证的方法，包括：确定出随机约束池中包含的至少四个随机约束向量；所述随机约束向量中包含有至少一个随机约束参数；分别对所述随机约束池中的随机约束向量进行仿真处理，获取初始覆盖率；在所述初始覆盖率未达到预设目标覆盖率时，循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，直至仿真条件参数满足结束要求；所述结束要求是预先设置的，用于结束对随机约束池进行差分进化处理的要求信息；根据差分进化处理后的所述随机约束池中的随机约束向量，进行随机验证。可选地，所述对所述随机约束池进行差分进化处理包括：在所述随机约束池中选取出第一随机约束向量及第二随机约束向量，计算选取的所述第一随机约束向量及第二随机约束向量的差向量；根据加权因子对所述差向量进行加权处理，并根据预设变异规则，利用加权后的所述差向量及第三随机约束向量，确定变异向量；所述第一随机约束向量及第二随机约束向量是所述随机约束池中的任意两个随机约束向量；所述第三随机约束向量是所述随机约束池中的除所述第一随机约束向量及第二随机约束向量之外的其他任意一个随机约束向量；将所述变异向量及第四随机约束向量，根据交叉概率CR，进行混合处理，获取试验向量；所述第四随机约束向量是所述随机约束池中的除所述第一随机约束向量，第二随机约束向量及第三随机约束向量之外的其他任意一个随机约束向量；根据所述试验向量进行仿真处理，获取处理后的覆盖率；确定所述处理后的覆盖率是否大于所述初始覆盖率；若所述处理后的覆盖率大于所述初始覆盖率，则根据所述试验向量，更新所述随机约束池。可选地，所述结束要求包括：覆盖率达到所述预设目标覆盖率；所述循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束，直至仿真条件参数满足结束要求包括：循环对所述随机约束池进行差分进化处理，并获取处理后的覆盖率，确定所述处理后的覆盖率是否达到预设目标覆盖率，直至处理后的覆盖率达到所述预设目标覆盖率。可选地，所述循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束，直至仿真条件参数满足结束要求包括：循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，并在仿真条件参数不满足结束要求时，更新加权因子及CR，直至仿真条件参数满足结束要求。可选地，所述加权因子的初始值为0.7；所述CR的初始值为0.8。进一步的，本专利技术实施例提供了一种随机验证的装置，包括：确定单元，用于确定出随机约束池中包含的至少四个随机约束向量；所述随机约束向量中包含有至少一个随机约束参数；处理单元，用于分别对所述随机约束池中的随机约束向量进行仿真处理，获取初始覆盖率；所述处理单元，还用于在所述初始覆盖率未达到预设目标覆盖率时，循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，直至仿真条件参数满足结束要求；所述结束要求是预先设置的，用于结束对随机约束池进行差分进化处理的要求信息；验证单元，用于根据差分进化处理后的所述随机约束池中的随机约束向量，进行随机验证。可选地，所述处理单元，具体用于在所述随机约束池中选取出第一随机约束向量及第二随机约束向量，计算选取的所述第一随机约束向量及第二随机约束向量的差向量；根据加权因子对所述差向量进行加权处理，并根据预设变异规则，利用加权后的所述差向量及第三随机约束向量，确定变异向量；所述第一随机约束向量及第二随机约束向量是所述随机约束池中的任意两个随机约束向量；所述第三随机约束向量是所述随机约束池中的除所述第一随机约束向量及第二随机约束向量之外的其他任意一个随机约束向量；将所述变异向量及第四随机约束向量，根据交叉概率CR，进行混合处理，获取试验向量；所述第四随机约束向量是所述随机约束池中的除所述第一随机约束向量，第二随机约束向量及第三随机约束向量之外的其他任意一个随机约束向量；根据所述试验向量进行仿真处理，获取处理后的覆盖率；确定所述处理后的覆盖率是否大于所述初始覆盖率；若所述处理后的覆盖率大于所述初始覆盖率，则根据所述试验向量，更新所述随机约束池。可选地，所述结束要求包括：覆盖率达到所述预设目标覆盖率；所述处理单元，具体用于循环对所述随机约束池进行差分进化处理，并获取处理后的覆盖率，确定所述处理后的覆盖率是否达到预设目标覆盖率，直至处理后的覆盖率达到所述预设目标覆盖率。可选地，所述处理单元，具体用于循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，并在仿真条件参数不满足结束要求时，更新加权因子及CR，直至仿真条件参数满足结束要求。可选地，所述加权因子的初始值为0.7；所述CR的初始值为0.8。本专利技术实施例提供了一种随机验证的方法及装置，包括：确定出随机约束池中包含的至少四个随机约束向量；分别对随机约束池中的随机约束向量进行仿真处理，获取初始覆盖率；在初始覆盖率未到达预设目标覆盖率时，循环对随机约束池进行差分进化处理，并获取仿真条件参...

【技术保护点】
一种随机验证的方法，其特征在于，包括：确定出随机约束池中包含的至少四个随机约束向量；所述随机约束向量中包含有至少一个随机约束参数；分别对所述随机约束池中的随机约束向量进行仿真处理，获取初始覆盖率；在所述初始覆盖率未达到预设目标覆盖率时，循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参数是否满足结束要求，直至仿真条件参数满足结束要求；所述结束要求是预先设置的，用于结束对随机约束池进行差分进化处理的要求信息；根据差分进化处理后的所述随机约束池中的随机约束向量，进行随机验证。

【技术特征摘要】
1.一种随机验证的方法，其特征在于，包括：
确定出随机约束池中包含的至少四个随机约束向量；所述随机约
束向量中包含有至少一个随机约束参数；
分别对所述随机约束池中的随机约束向量进行仿真处理，获取初
始覆盖率；
在所述初始覆盖率未达到预设目标覆盖率时，循环对所述随机约
束池进行差分进化处理，并获取仿真条件参数，确定所述仿真条件参
数是否满足结束要求，直至仿真条件参数满足结束要求；所述结束要
求是预先设置的，用于结束对随机约束池进行差分进化处理的要求信
息；
根据差分进化处理后的所述随机约束池中的随机约束向量，进行
随机验证。
2.根据权利要求1所述的方法，其特征在于，
所述对所述随机约束池进行差分进化处理包括：
在所述随机约束池中选取出第一随机约束向量及第二随机约束向
量，计算选取的所述第一随机约束向量及第二随机约束向量的差向量；
根据加权因子对所述差向量进行加权处理，并根据预设变异规则，利
用加权后的所述差向量及第三随机约束向量，确定变异向量；所述第
一随机约束向量及第二随机约束向量是所述随机约束池中的任意两个
随机约束向量；所述第三随机约束向量是所述随机约束池中的除所述
第一随机约束向量及第二随机约束向量之外的其他任意一个随机约束
向量；
将所述变异向量及第四随机约束向量，根据交叉概率CR，进行混
合处理，获取试验向量；所述第四随机约束向量是所述随机约束池中
的除所述第一随机约束向量，第二随机约束向量及第三随机约束向量
之外的其他任意一个随机约束向量；
根据所述试验向量进行仿真处理，获取处理后的覆盖率；
确定所述处理后的覆盖率是否大于所述初始覆盖率；
若所述处理后的覆盖率大于所述初始覆盖率，则根据所述试验向

\t量，更新所述随机约束池。
3.根据权利要求2所述的方法，其特征在于，
所述结束要求包括：覆盖率达到所述预设目标覆盖率；
所述循环对所述随机约束池进行差分进化处理，并获取仿真条件
参数，确定所述仿真条件参数是否满足结束，直至仿真条件参数满足
结束要求包括：
循环对所述随机约束池进行差分进化处理，并获取处理后的覆盖
率，确定所述处理后的覆盖率是否达到预设目标覆盖率，直至处理后
的覆盖率达到所述预设目标覆盖率。
4.根据权利要求2或3所述的方法，其特征在于，所述循环对所
述随机约束池进行差分进化处理，并获取仿真条件参数，确定所述仿
真条件参数是否满足结束，直至仿真条件参数满足结束要求包括：
循环对所述随机约束池进行差分进化处理，并获取仿真条件参数，
确定所述仿真条件参数是否满足结束要求，并在仿真条件参数不满足
结束要求时，更新加权因子及CR，直至仿真条件参数满足结束要求。
5....

【专利技术属性】
技术研发人员：李拓，
申请(专利权)人：山东海量信息技术研究院，
类型：发明
国别省市：山东;37