专利详情

专利名称	覆盖率驱动随机验证集成电路的方法及系统
申请号	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。本发明能够自动优化验证程序。