随着SoC规模和复杂度的增加,功能验证变得越来越复杂,传统的验证方法很难对其进行全面的验证。本文分析了现在流行的验证技术和验证方法,并且对未来一段时间的验证技术的发展趋势进行了预测。结合验证的需要,分析了VMM验证方法中的事务级验证、随机化验证、覆盖率驱动和断言的优点,总结出VMM能够很好地满足现在功能验证的需求。功能覆盖率的提取带有一定的主观性,可以使用代码覆盖率驱动来补充前者的不足,本文功能和代码覆盖率双驱动,共同设计了一个AHB结构的可重用的验证平台。可以将支持AHB协议的待测模块例化到验证平台中,修改产生激励的约束,就可以自动产生验证激励,能够较快构建验证平台,完成复杂的验证。本文用了支持AHB协议的外部存储器接口作为待验证设计,证明平台的功能和可靠性。覆盖率驱动对于一些边角情况,状态转换等特殊功能点较难覆盖,一方面是这些功能点在随机的时候如果没有被覆盖到,想达到这个点需要花较长的验证时间,另一方面,有的功能点可能会被多次覆盖,对整体的贡献比较小,所以为了更好的监测和优化验证平台,可以定义断言点,它能出色解决上面的问题。最后,用了一个GPS处理单元接口的AHB协议转换设计,来说明平台的重用性。验证结果表明,此验证平台有较好的可重用性,能够实时监测覆盖率,控制验证进程,优化验证事务,复杂情况下覆盖率可达100%,并且简化验证复杂度,在较短时间完成验证,较好地满足芯片验证需要。