| 专利名称 | 覆盖率驱动随机验证集成电路的方法及系统 | 申请号 | CN200910078326.5 | 专利类型 | 发明专利 | 公开（公告）号 | CN101488160 | 公开（授权）日 | 2009.07.22 | 申请（专利权）人 | 中国科学院计算技术研究所 | 发明（设计）人 | 郭崎;沈海华;卫文丽 | 主分类号 | G06F17/50(2006.01)I | IPC主分类号 | G06F17/50(2006.01)I;G06N3/12(2006.01)I | 专利有效期 | 覆盖率驱动随机验证集成电路的方法及系统 至覆盖率驱动随机验证集成电路的方法及系统 | 法律状态 | 专利实施许可合同备案的生效、变更及注销 | 说明书摘要 | 本发明涉及覆盖率驱动随机验证集成电路的方法和系统，该方法包括： 步骤1，生成初始种群，初始化当前种群为初始种群；步骤2，根据当前种群 生成验证程序，由指令集模拟器和待验证设计执行验证程序，比较两个执行 结果确定待验证设计是否正确，同时获得覆盖率报告；步骤3，根据覆盖率 报告计算当代种群中个体的适应度，根据适应度判断当前种群是否满足优化 准则，如果满足，结束验证，否则，执行步骤4；步骤4，根据适应度选择当 前种群中的优秀个体作为父个体，选择父个体的交叉对象，进行交叉操作以 生成新个体，新个体组成下一代种群，更新当前种群为下一代种群，执行步 骤2。本发明能够自动优化验证程序。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障