5.1.3 覆盖率驱动验证（CDV）：代码覆盖率与功能覆盖率

文档摘要

5.1.3 覆盖率驱动验证（CDV）：代码覆盖率与功能覆盖率在数字电路验证的浩瀚星图中，覆盖率驱动验证（Coverage-Driven Verification, CDV）不是一盏点缀性的装饰灯，而是一台精密校准的陀螺仪——它不直接证明设计正确，却以无可辩驳的量化证据告诉你：你究竟探索了多大的设计宇宙，又在哪些角落留下了未被照亮的阴影。当仿真波形如潮水般退去，断言（assertion）如哨兵般站岗，而回归测试套件年复一年地运行，真正让人夜不能寐的问题从来不是“有没有发现bug”，而是：“我们是否已经穷尽了所有值得怀疑的路径？” 5.1.