浅谈芯片验证中的仿真运行之 compilation unit 技术（理论篇）

systemverilog 是被这么定义和描述的：它是一种硬件描述和验证语言，它继承于IEEE1364-2001，并扩充之，使其具有更高层次的建模能力更容易、更广泛的被用于验证人员用于进行硬件设计的验证。增加了像数据类型、数据结构、接口、对象、数组等等更抽象级的新内容。有编程语言，自然少不了编译编程语言的编译工具。目前主流的当属VCS这款集编译和仿真工具于一身，其功能之强大，令人称奇。

Systermverilog 语言，它支持编译单元的概念，来实现分开的编译。先认识几个概念：

（1）compilation unit : 编译单元。一个或者多个systermverilog 源文件的集合，称为一个编译单元

（2）compliation-unit scope : 编译单元作用域。它是隶属于一个编译单元的作用范围。它包含在任何其他作用域之外的所有声明。

（3）$unit ：一个名字。用于在编译单元作用域中显式访问标识符的名称。

到底哪些文件，可以组成一个编译单元，这个确切的机制或者算法，应该由编译工具来定。或者说编译工具应该提供一个机制，允许我们选择怎样组织我们想要的编译单元。但是极端情况下，有两种case ：

（1）所有文件组成一个编译单元，那么此时，在这种情况下，所有的声明可以在整个design 被随时随地访问应用。

（2）每个文件，单独作为一个编译单元域。此时，所有的声明只在当时当地的那个文件中被访问使用。

---

<