随着现代大规模集成电路的发展,芯片设计复杂度不断提高,设计规模不断扩大,验证设计功能正确性的困难度也大幅增加,需要投入的人力呈指数增长。功能验证逐渐成为SOC设计的瓶颈,验证方法学得到越来越多的重视。近年来,涌现了一批新的验证方法,比如基于断言的验证、功能覆盖率、基于事务的验证,可约束的随机激励等等;目前验证方法改进的趋势渐渐转移到如何形成更加系统化和结构化的验证过程。覆盖率导向的验证方法是一种新型的验证方法学,以其贴近设计的思维方式,极大的提高验证的效率,并且已经在业界有许多实际的应用。它基于分层结构验证方法,支持激励的随机产生,自动检查结果,以覆盖率的量化分析为验证的核心,通过对覆盖率的分析,判断验证的完备性。这种机制大大减少了验证过程的工作量。随着支持功能覆盖点、断言和测试平台约束规范的SystemVerilog在业界的普及,以及越来越多的约束随机测试平台的涌现,这种方法会在一段时间内对IC设计工业产生巨大的影响。本文首先介绍了覆盖率导向验证方法的思想,对该方法的各要素进行分析和总结,然后将它应用到虚拟输出队列(VOQ)的验证过程中,为VOQ建立一个功能覆盖率模型,在仿真过程中,对覆盖率水平进行统计,并以此为依据产生新的高效测试用例。最后结合实验数据,将覆盖率导向的验证方法和传统的验证方法进行比较。