公开(公告)号：CN101488160B

公开(公告)日：2011-03-23

申请号：CN200910078326.5

申请日：2009-02-25

Applicant: 中国科学院计算技术研究所

Inventor： 郭崎 ,  沈海华 ,  卫文丽

IPC: G06F17/50 ,  G06N3/12

Abstract: 本发明涉及覆盖率驱动随机验证集成电路的方法和系统，该方法包括：步骤1，生成初始种群，初始化当前种群为初始种群；步骤2，根据当前种群生成验证程序，由指令集模拟器和待验证设计执行验证程序，比较两个执行结果确定待验证设计是否正确，同时获得覆盖率报告；步骤3，根据覆盖率报告计算当代种群中个体的适应度，根据适应度判断当前种群是否满足优化准则，如果满足，结束验证，否则，执行步骤4；步骤4，根据适应度选择当前种群中的优秀个体作为父个体，选择父个体的交叉对象，进行交叉操作以生成新个体，新个体组成下一代种群，更新当前种群为下一代种群，执行步骤2。本发明能够自动优化验证程序。

公开(公告)号：CN101488160A

公开(公告)日：2009-07-22

申请号：CN200910078326.5

申请日：2009-02-25

Applicant: 中国科学院计算技术研究所

Inventor： 郭崎 ,  沈海华 ,  卫文丽

IPC: G06F17/50 ,  G06N3/12

Abstract: 本发明涉及覆盖率驱动随机验证集成电路的方法和系统，该方法包括：步骤1，生成初始种群，初始化当前种群为初始种群；步骤2，根据当前种群生成验证程序，由指令集模拟器和待验证设计执行验证程序，比较两个执行结果确定待验证设计是否正确，同时获得覆盖率报告；步骤3，根据覆盖率报告计算当代种群中个体的适应度，根据适应度判断当前种群是否满足优化准则，如果满足，结束验证，否则，执行步骤4；步骤4，根据适应度选择当前种群中的优秀个体作为父个体，选择父个体的交叉对象，进行交叉操作以生成新个体，新个体组成下一代种群，更新当前种群为下一代种群，执行步骤2。本发明能够自动优化验证程序。