买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

摘要：本申请涉及数字集成电路验证技术领域，特别是涉及一种加速验证覆盖率收敛的数字集成电路验证系统，系统包括：待测试单元、验证IP、输入代理模块、输出代理模块、参考模型、比较单元、处理器和存储有计算机程序的存储器，当计算机程序被处理器执行时，实现以下步骤：由验证IP形成第一验证环境进行迭代仿真，根据激励覆盖率对序列对象产生序列项的约束进行调整，直至激励覆盖率满足第一预设条件，由待测试单元形成第二验证环境进行迭代仿真，直至待测试单元的代码覆盖率满足第二预设条件，完成验证，可知，使用验证IP代替待测试单元，使激励覆盖率能够快速收敛，在对待测试单元验证，将记录有效随机种子下来，提高代码覆盖率的收敛效率。

主权项：1.一种加速验证覆盖率收敛的数字集成电路验证系统，其特征在于，所述系统包括：待测试单元、验证IP、输入代理模块、输出代理模块、参考模型、比较单元、处理器和存储有计算机程序的存储器，其中，所述输入代理模块包括序列发生器、驱动器和第一监视器，所述输出代理模块包括第二监视器，当所述计算机程序被处理器执行时，实现以下步骤：S101，由所述验证IP、所述输入代理模块、所述输出代理模块、所述参考模型和所述比较单元形成第一验证环境；S102，在所述第一验证环境下进行迭代仿真，对所述驱动器发送给所述验证IP的激励进行收集，确定激励覆盖率，根据所述激励覆盖率对所述序列发生器对应的序列对象产生序列项时的约束进行迭代调整，直至所述激励覆盖率满足第一预设条件，其中，所述激励覆盖率满足第一预设条件是指：所述激励覆盖率大于预设的第一阈值；S103，由所述待测试单元、所述输入代理模块、所述输出代理模块、所述参考模型和所述比较单元形成第二验证环境；S104，在所述第二验证环境下进行迭代仿真，直至所述待测试单元的代码覆盖率满足第二预设条件，完成验证，其中，所述待测试单元的代码覆盖率满足第二预设条件是指：所述代码覆盖率大于预设的第二阈值；步骤S104还包括以下步骤：S1041，初始化迭代轮次i=1；S1042,设置Mi个随机种子{ai1，ai2，…，aimi，…，aiMi}，aimi为第i个迭代轮次下设置的第mi个随机种子，mi为[1，Mi]范围内的整数，根据aimi生成对应的激励bimi，使用bimi对所述第二验证环境进行仿真，得到bimi对应所述待测试单元的代码覆盖范围cimi；S1043，从ci1，ci2，…，cimi，…，ciMi中选择Ni个代码覆盖范围作为参考范围，其他代码覆盖范围作为非参考范围，Ni为[1,Mi]范围内的整数，对所有参考范围取交集，得到基准范围；S1044，遍历每个非参考范围，将所述非参考范围与所述基准范围取交集，得到中间范围，若所述中间范围大于所述基准范围，则将所述非参考范围对应的随机种子作为参考种子，得到Ri个参考种子，将所述迭代轮次i增加1；S1045，返回执行步骤S1042至步骤S1044，在步骤S1042中，所设置的Mi个随机种子中包括所有参考种子，在步骤S1043中，各个参考种子对应的代码覆盖范围均作为所述参考范围，直至ci1，ci2，…，cimi，…，ciMi的交集对应的代码覆盖率满足所述第二预设条件。

全文数据：

权利要求：

百度查询： 沐曦科技(成都)有限公司 一种加速验证覆盖率收敛的数字集成电路验证系统