本论文重点研究集成电路开发的验证技术。随着集成电路技术的高速发展,芯片设计的规模越来越大,功能越来越复杂,致使电路设计周期的延长以及逻辑功能错误发生率攀升,从而给芯片开发带来更大的风险。验证工作在整个集成电路开发中的地位越来越重要,而设计的复杂度和规模增大也使验证工作的难度逐步增加,当前,大规模集成电路开发的前端设计流程中,验证工作已经占到总工作量的60%-70%,成为集成电路设计开发中的瓶颈,找到高效、可行的验证方法非常重要。论文首先介绍验证的基本定义和分类。探讨了功能验证方法、基于HDL语言的直接验证方法以及面对对象的验证方法;高级的验证方法--基于覆盖率驱动的自动化验证平台Specman Elite验证方法,使用这种方法验证一个多路理由器的IP核设计。论文研究开发基于仿真的specman验证流程。首先对多路路由器的协议及设计详细规范进行分析,提出电路设计和验证计划。然后根据系统级验证计划从中提取验证目标要求。开发步骤包括:1)根据设计规范和协议完成电路设计,编写RTL代码;2)根据详细设计规范完成路由电路的e组件开发,使用e语言完成环境搭建,针对其验证要求,开发相应的测试用例,与设计的RTL代码进行联合仿真验证。3)回归测试、收集并分析覆盖率,对其产生的功能覆盖率空洞进行分析,并且填充,以求达到联合覆盖率可以达到验证计划所制定的所有功能点,即功能覆盖率100%,代码覆盖率100%。