如何配置GHDL/LCOV避免VHDL非分支行的分支覆盖率统计

使用GHDL（6.0.0-dev版本，Ubuntu 24.04 x86-64平台，gcc后端）结合LCOV分析VHDL项目代码覆盖率时，出现分支覆盖率统计异常：LCOV会为无显式分支的代码行（如简单XOR赋值语句s <= i0 xor i1 xor ci;）生成分支覆盖率数据，但预期仅对if、case等控制流语句统计分支覆盖率。

环境信息 #

• Ubuntu 24.04.2 LTS
• GHDL版本：6.0.0-dev (4.1.0.r593.gdd13f1d38) [Dunoon edition]
• GCC版本：13.3.0 (Ubuntu 13.3.0-6ubuntu2~24.04)
• LCOV版本：2.0-1

一、优化GHDL编译参数 #

GHDL借助gcc后端编译时，部分逻辑/算术操作可能被gcc优化出隐含分支（比如硬件级异或实现的分支逻辑），可以通过调整编译参数减少这类情况：

• 编译VHDL文件时添加--coverage -O0，禁用gcc优化，避免生成不必要的隐含分支：

  ghdl -a --coverage -O0 your_module.vhd
  

• 若项目用到VITAL库，添加--no-vital-checks参数，排除Vital库自带的额外分支逻辑：

  ghdl -a --coverage -O0 --no-vital-checks your_module.vhd
  

二、过滤LCOV分支统计 #

如果GHDL层面无法完全消除误统计的分支，可通过LCOV的过滤规则排除非控制流语句的分支数据：

1. 创建过滤规则文件（如lcov_filters.txt），添加针对逻辑/算术赋值语句的排除规则：

   # 排除异或赋值语句的分支统计
   branch_exclude = *.vhd:* <= *xor*
   # 排除与/或等其他逻辑操作赋值的分支统计
   branch_exclude = *.vhd:* <= *and*
   branch_exclude = *.vhd:* <= *or*
   # 根据项目实际使用的操作符补充规则
   

2. 生成覆盖率数据时直接应用过滤：

   lcov --capture --directory . --output-file raw_coverage.info --filter-file lcov_filters.txt
   

3. 也可先生成原始数据，再用--remove命令清理：

   # 生成原始覆盖率数据
   lcov --capture --directory . --output-file raw_coverage.info
   # 过滤非控制流分支
   lcov --remove raw_coverage.info "*.vhd:* <= *xor*" "*.vhd:* <= *and*" --output-file filtered_coverage.info
   # 生成HTML报告
   genhtml filtered_coverage.info --output-directory coverage_report
   

三、排查GHDL生成的gcov文件 #

直接查看GHDL生成的.gcov文件，定位误统计分支对应的代码行，确认是编译器优化导致还是GHDL本身的问题。如果是GHDL的bug，可尝试升级到最新稳定版本，或向官方提交问题反馈。

内容的提问来源于stack exchange，提问作者AGHMOUR Abdelmalek