GHDL项目中外部名称引用常量的Bug分析

问题概述

在GHDL仿真器中，开发者发现了一个关于VHDL外部名称(external names)机制的Bug。具体表现为：当尝试使用外部名称机制引用常量(constant)时，仿真会失败并抛出"NULL access dereferenced"错误。这个问题在Riviera 2023.10仿真器中可以正常工作，但在GHDL中出现了异常。

技术背景

VHDL中的外部名称机制允许设计者通过特殊的语法<<...>>来引用其他设计单元中的对象，而不需要通过传统的层次路径或包(package)来共享这些对象。这种机制在测试平台(testbench)开发中特别有用，可以避免为常量创建专门的包。

问题重现

通过一个最小可重现示例(MWE)可以清楚地展示这个问题：

use std.textio.all;

entity ext_name is
end ext_name;

architecture behaviour of ext_name is
begin
  a : block is
    constant A_C : natural := 42;
  begin
  end block;

  b : block is
    alias A_C is << constant .ext_name.a.A_C : natural >>;
  begin
    b_proc : process
      variable l : line;
    begin
      write (l, to_string(A_C));
      writeline (output, l);
      wait;
    end process;
  end block;
end behaviour;

当使用GHDL编译并运行这段代码时，会触发错误。值得注意的是，这个问题在不同的后端表现不同：

1. 使用GCC后端时，会抛出"NULL access dereferenced"错误
2. 使用mcode后端时，会抛出"CONSTRAINT_ERROR"异常

技术分析

从技术实现角度来看，这个问题涉及到GHDL对不同后端支持的特性差异：

1. GCC后端：当前版本(5.0.0-dev)明确不支持外部名称特性
2. mcode后端：虽然支持外部名称机制，但在处理常量引用时存在实现缺陷

开发者还透露了未来发展方向：

• 不会计划在GCC后端中添加外部名称支持
• 正在将代码覆盖率功能从GCC后端迁移到mcode后端
• LLVM后端未来将转变为类似mcode的JIT后端

解决方案与建议

对于遇到此问题的开发者，可以考虑以下解决方案：

1. 使用mcode后端：如果项目不依赖GCC后端的特定功能，可以切换到mcode后端
2. 等待修复：针对mcode后端的常量引用问题，开发者正在调查修复
3. 替代方案：暂时使用传统的包(package)方式来共享常量，避免使用外部名称机制

总结

这个Bug揭示了GHDL在不同后端实现上的特性支持差异，特别是对于VHDL高级特性如外部名称机制的支持程度。开发者需要根据项目需求选择合适的后端，并关注GHDL的更新以获取最新功能支持。随着mcode后端功能的不断完善，特别是代码覆盖率功能的加入，它将成为更全面的替代选择。