集成电路发展至今,随着芯片规模的不断扩大,逻辑功能越来越复杂,集成电路的验证(Verification)成为集成电路技术上的一个瓶颈。据统计,在千万门级以上的集成电路开发项目中,验证工作占了整个开发项目约70%的工作量。特别是随着SOC(片上系统)技术成为集成电路设计主流的开发方式后,对验证技术的重视程度更是越来越高。提高验证的重用性和验证效率是验证技术发展的方向。验证重用方法学是一种成熟的验证方法学,在验证领域得到广泛的应用。本论文以重用验证方法学为基础,运用重用验证方法学搭建重编码子系统的验证环境。其中,在代理(agent)的设计上引入新的验证思路,使验证环境的灵活性更高,特别是从模块级验证过渡到系统级验证时,能够使模块级的验证环境以更高的重用率重用到系统级的验证当中,提高了验证效率。通过Specman的验证平台优化工具分析验证,优化后的验证环境运行效率较优化前提高了10%~15%。在监视器和总线功能模型的设计上,基于提高验证组件灵活性的考虑,作了优化。通过定义不同的场景,分别应用于正常激励验证与异常激励验证,使验证环境在进行异常用例的验证时具有更高的验证效率。最后,通过引入包括功能覆盖率在内的多种类型的覆盖率驱动的方法,保证了验证的完备性。本文所搭建的验证环境具有较好的通用性,可以作为其它验证工作开展的基础。