SystemVerilog中包内定义的类能否引用全局作用域的类？

问题场景 #

编写如下SystemVerilog代码，尝试在包内的类中引用全局作用域定义的类，使用VCS编译时出现语法错误。

代码示例 #

class global_cls;
    int gv =4;
endclass
package my_pkg;
    class pkg_cls;
        global_cls g; // 引用全局类
    endclass
endpackage

module tb();
    my_pkg::pkg_cls a;
endmodule

编译错误信息（翻译后） #

Error-[SE] 语法错误
以下Verilog源码存在语法错误：
标识符'global_cls'应为有效类型。如果这是接口，请声明为virtual。
"tb.sv", 第18行：标识符为';'
global_cls g;

解决方案 #

SystemVerilog的包具备作用域隔离特性，默认无法直接识别全局作用域的类，可通过以下两种方式解决：

1. 在包内导入全局类
   在包的开头导入全局作用域的global_cls，让包内代码能识别该类：

class global_cls;
    int gv =4;
endclass
package my_pkg;
    import global_cls; // 导入全局类
    class pkg_cls;
        global_cls g; // 引用全局类
    endclass
endpackage

module tb();
    my_pkg::pkg_cls a;
endmodule

2. 使用全局作用域解析符::
   在引用全局类时，通过::前缀明确指定从全局作用域查找：

class global_cls;
    int gv =4;
endclass
package my_pkg;
    class pkg_cls;
        ::global_cls g; // 用::指定全局作用域
    endclass
endpackage

module tb();
    my_pkg::pkg_cls a;
endmodule

两种方法均可让VCS正确识别全局类，解决编译报错问题。

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