功能覆盖率 /代码覆盖率

功能覆盖率与代码覆盖率是IC验证中两个核心指标。代码覆盖率衡量RTL代码的执行程度，包括行覆盖率、条件覆盖率、分支覆盖率、状态机覆盖率、翻转覆盖率等，反映仿真对设计代码的覆盖情况。但其局限性在于：即便代码覆盖率100%，也不能验证设计功能正确性，因为可能遗漏未编写的功能场景。功能覆盖率则基于验证计划（spec）定义，关注设计的行为是否被充分测试，通常使用SystemVerilog的covergroup、coverpoint、cross等结构构建，覆盖输入组合、协议时序、数据通路的合法与边界场景。两者互补：代码覆盖率确保仿真触及所有代码结构，避免死代码；功能覆盖率确保设计意图被充分验证。常见误区：认为代码覆盖率100%即验证完备，忽视功能覆盖率；或在功能覆盖率分析中忽略cross覆盖。验证策略应优先保证功能覆盖率收敛，同时监控代码覆盖率，对未覆盖的代码分析是否为死代码或遗漏用例。