随着半导体工艺突飞猛进的发展,ASIC设计的复杂程度也呈指数增长,功能验证的复杂度也不断提高,这使得覆盖率分析(coverage analysis)成为ASIC设计验证中的一个重要环节。本文先从功能验证入手,系统的介绍了这个领域内已有的成熟技术,形式验证和模拟仿真验证。并将模拟仿真验证技术应用于北桥的验证工程项目之中。模拟仿真验证包括测试生成、结果检测和覆盖率分析。在测试生成方面,采用了带约束的随机测试生成;在结果检测方面,使用了现在最流行的基于断言的结果检测方法,取得了不错的效果。在覆盖率方面,使用了代码覆盖率和功能覆盖率两种分析方法。在验证过程中,代码覆盖率检测激励所执行测试代码的验证效率;功能覆盖率用于检测激励所执行代码功能的效率。本文给出了两种覆盖率分析方法在PCI Bridge模块上的实际应用。由于代码覆盖率和功能覆盖率都有一定的局限性,所以尝试了两种覆盖率相结合的覆盖率分析方法。代码覆盖率与功能覆盖率相结合的方法是在同一个测试平台加载同样的测试向量,对两种覆盖率结果进行比较分析,通过这种方法,我们提高了验证的可靠性和验证效率。本文使用这种方法在PCI Bridge的覆盖率验证中取得了比较理想的效果。两种覆盖率均达到95%以上。并且提出了一个有标准接口、可重用的PCI Bridge覆盖率模型,可以被其他相似的系统借鉴。