为什么有verilog验证文件不是以模块的形式？

Question

为什么有Verilog验证文件不是以模块的形式？ 我看到的文件只是＆＃34;初始开始＆＃34;，有些文件名在＆＃34; .inc＆＃34;中。 请帮忙。我是验证的新手，我看到了这样的文件。

Answer 1

将任意内容的文件包含在Verilog模块中是很常见的。这是使用include编译器指令完成的，如IEEE Std 1800-2012中所述，＆＃34; 22.4`include＆＃34;：

  

文件包含（include）编译器指令用于插入   编译期间另一个文件中源文件的全部内容。   结果就像包含的源文件的内容一样   出现代替`include compiler directive。

在不同模块之间共享公共代码非常有用：参数，定义宏，任务，函数等。

通常，.inc文件扩展名并不特殊。它可能是某些模拟工具使用的惯例。