首页> 中国专利> 一种快速收敛的覆盖率驱动验证方法

一种快速收敛的覆盖率驱动验证方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种快速收敛的覆盖率驱动验证方法，属于集成电路设计技术领域。它包括制定验证计划、搭建覆盖率驱动的验证平台、嵌入断言、运行测试向量仿真、分析覆盖率和反复迭代测试等步骤。本发明采用新型的覆盖率驱动验证平台，验证平台增加了功能覆盖率的反馈机制，能够根据每次仿真后的覆盖率值来控制下一次的随机变量的生成，通过记录当前的功能覆盖信息，并据此来约束随机变量的生成，以减少随机种子的重复配置，避免功能点的过度覆盖，从而快速达到覆盖率收敛的目的。

著录项

公开/公告号CN107480382A

专利类型发明专利
公开/公告日2017-12-15

原文格式PDF
申请/专利权人中国电子科技集团公司第五十四研究所;
展开▼

申请/专利号CN201710716457.6
发明设计人常迎辉;付长英;沈贵元;周永川;曾明;赵月明;
展开▼

申请日2017-08-21
分类号G06F17/50(20060101);
代理机构13124 河北东尚律师事务所;
代理人王文庆
地址 050081 河北省石家庄市中山西路589号第五十四所ERC中心
入库时间 2023-06-19 04:03:53

法律信息

法律状态公告日

法律状态信息

法律状态
2018-01-09

实质审查的生效 IPC(主分类):G06F17/50 申请日:20170821

实质审查的生效
2017-12-15

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种快速收敛的覆盖率驱动验证方法 [P] . 中国专利： CN107480382A . 2017-12-15
2. 一种缩短芯片代码覆盖率收敛时间的验证方法及装置 [P] . 中国专利： CN113342669A . 2021-09-03
3. A rapidly converging atomic physics method and medium to calculate complex non-equilibrium radiative properties of matter with spectroscopic precision. [P] . 欧洲知识产权局专利： EP2645280A1 . 2013-10-02

机译：一种快速收敛的原子物理学方法和介质，可精确地计算物质的复杂非平衡辐射特性。
4. A METHOD FOR EXCEPTIONS DETECTION IN N-DIMENSIONAL DATA SETS WITH FAST CONVERGENCE [P] . 世界知识产权组织专利： WO02103577A8 . 2004-01-15

机译：具有快速收敛性的N维数据集异常检测的一种方法
5. A METHOD FOR EXCEPTIONS DETECTION IN N-DIMENSIONAL DATA SETS WITH FAST CONVERGENCE [P] . 世界知识产权组织专利： WO02103577A2 . 2002-12-27

机译：具有快速收敛性的N维数据集异常检测的一种方法