随着集成电路规模的扩大,复杂度的提高,验证的难度也越来越大,据不完全统计,验证的时间大约占据整个产品开发周期的75%。仅依赖单一的覆盖率验证方法,比如代码覆盖率验证、功能覆盖率验证、断言覆盖率验证,已经不能满足集成电路设计的要求,因此对验证方法的研究具有很高的研究价值和极其重要的现实意义。本论文主要使用SystemVerilog硬件设计和验证语言,基于VMM验证平台,围绕覆盖率导向验证方法进行研究,并将该验证方法应用到多功能车辆总线控制器(MVBC)的验证中。论文首先对覆盖率导向验证方法近年来的研究发展进行了分析和总结。简单分析了覆盖率导向验证方法的基本原理,并对VMM验证平台与传统验证平台的特性进行了对比分析。其次,在VMM验证方法学基础上,详细的介绍了覆盖率导向验证方法的基本原理。从代码覆盖率、建立功能覆盖率模型和响应检查机制,论述了覆盖率导向验证方法的实现过程,提出提取覆盖点的方法及如何通过分析覆盖率属性关系搭建较完备的功能覆盖率模型。最后,使用SystemVerilog硬件设计和验证语言,在VMM验证平台上,利用覆盖率导向验证方法对MVBC中的MCU模块进行验证,建立功能覆盖率模型,并将其在仿真工具VCS上运行,对本论文验证方法的有效性和准确性进行仿真验证。通过对实验结果的分析表明,本论文中的验证方法能够有效地缩短验证周期,提高验证效率,保证验证的完备性。