一种结合约束随机的仿真方法、验证方法及系统与流程

技术特征：
1.一种结合约束随机的仿真方法，其特征在于，包括如下步骤：1)通过约束随机特性生成一组配置参数；2)通过覆盖率收集方法对该组配置参数进行采样统计，判断当前配置参数是否能提高当前覆盖率；如果当前配置参数能提高当前覆盖率，则利用该组能提高当前覆盖率的配置参数对待验证硬件进行驱动仿真，以对待验证硬件进行验证；如果当前配置参数不能提高当前覆盖率，则舍弃当前配置参数，重新进行步骤1)，继续通过约束随机生成下一组配置参数。2.根据权利要求1所述的结合约束随机的仿真方法，其特征在于，所述覆盖率收集方法为systemverilog的covergroup方法。3.一种结合约束随机的仿真系统，其特征在于，包括处理器，所述处理器用于执行程序指令，以实现如下的结合约束随机的仿真方法步骤：1)通过约束随机特性生成一组配置参数；2)通过覆盖率收集方法对该组配置参数进行采样统计，判断当前配置参数是否能提高当前覆盖率；如果当前配置参数能提高当前覆盖率，则利用该组能提高当前覆盖率的配置参数对待验证硬件进行驱动仿真，以对待验证硬件进行验证；如果当前配置参数不能提高当前覆盖率，则舍弃当前配置参数，重新进行步骤1)，继续通过约束随机生成下一组配置参数。4.根据权利要求3所述的结合约束随机的仿真系统，其特征在于，所述覆盖率收集方法为systemverilog的covergroup方法。5.一种结合约束随机的验证方法，其特征在于，包括如下步骤：1)对需要覆盖的功能点进行描述，得到覆盖率目标；2)通过约束随机特性生成一组配置参数；3)通过覆盖率收集方法对该组配置参数进行采样统计，判断当前配置参数是否能提高当前覆盖率；如果当前配置参数能提高当前覆盖率，则继续进行步骤4)；如果当前配置参数不能提高当前覆盖率，则舍弃当前配置参数，重新进行步骤2)，继续通过约束随机生成下一组配置参数；4)利用该组能提高当前覆盖率的配置参数，对待验证硬件进行驱动仿真，以对待验证硬件进行验证；5)收集统计当前覆盖率，并比较当前覆盖率是否达到覆盖率目标，如果达到覆盖率目标，则停止仿真，否则继续进行步骤2)-5)。6.根据权利要求5所述的结合约束随机的验证方法，其特征在于，所述覆盖率收集方法为systemverilog的covergroup方法。7.一种结合约束随机的验证系统，其特征在于，包括处理器，所述处理器用于执行程序指令，以实现如下的结合约束随机的验证方法步骤：1)对需要覆盖的功能点进行描述，得到覆盖率目标；2)通过约束随机特性生成一组配置参数；3)通过覆盖率收集方法对该组配置参数进行采样统计，判断当前配置参数是否能提高当前覆盖率；如果当前配置参数能提高当前覆盖率，则继续进行步骤4)；如果当前配置参数不能提高当前覆盖率，则舍弃当前配置参数，重新进行步骤2)，继续
通过约束随机生成下一组配置参数；4)利用该组能提高当前覆盖率的配置参数，对待验证硬件进行驱动仿真，以对待验证硬件进行验证；5)收集统计当前覆盖率，并比较当前覆盖率是否达到覆盖率目标，如果达到覆盖率目标，则停止仿真，否则继续进行步骤2)-5)。8.根据权利要求7所述的结合约束随机的验证系统，其特征在于，所述覆盖率收集方法为systemverilog的covergroup方法。

技术总结
本发明属于IC验证技术领域，具体涉及一种结合约束随机的仿真方法、验证方法及系统。本发明的结合约束随机的仿真方法、验证方法及系统在进行仿真前，先判断当前的一组配置参数是否能提高当前覆盖率，若不能则该组配置参数不会参与仿真过程，在不影响仿真效果的基础上节省了冗余配置参数的仿真时间，仅根据能够提高当前覆盖率的配置参数进行仿真，因此能够加速功能覆盖率收敛，提高验证效率；并且，本发明的方案能够自动化比对覆盖率是否达到覆盖率目标，并自动判断是否继续进行仿真或继续进行配置参数的筛选，更加简单易行，可复用性高，可供各个验证环境参考调用。各个验证环境参考调用。各个验证环境参考调用。


技术研发人员：陈俊寒
受保护的技术使用者：深圳智微电子科技有限公司
技术研发日：2023.06.16
技术公布日：2023/9/14