温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明提出一种利用至少两个计算单元进行覆盖率驱动的随机验证的方法，所述至少两个计算单元包括第一计算单元和第二计算单元，所述第一和第二计算单元分别具有第一和第二覆盖率数据库，所述第一和第二计算单元均可访问总覆盖率数据库，所述第一和第二计算单元...
该专利属于北京国睿中数科技股份有限公司所有，仅供学习研究参考，未经过北京国睿中数科技股份有限公司授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。