专利检索 ap:("中国电子科技集团公司第五十四研究所") AND inv:"付长英" 第 1 页

1.

发明公开
一种快速收敛的覆盖率驱动验证方法无效

公开(公告)号：CN107480382A

公开(公告)日：2017-12-15

申请号：CN201710716457.6

申请日：2017-08-21

申请人： 中国电子科技集团公司第五十四研究所

发明人： 常迎辉 , 付长英 , 沈贵元 , 周永川 , 曾明 , 赵月明

IPC分类号： G06F17/50

CPC分类号： G06F17/5081 , G06F2217/64

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