Question

函数导入和导出的语法如下：

dpi_import_export ::=            // 引用自附录A.2.6
    import "DPI" [dpi_function_import_property] [c_identifier =] dpi_function_proto;
  | import "DPI" [dpi_task_import_property] [c_identifier =] dpi_task_proto;
  | export "DPI" [c_identifier =] function function_identifier;
  | export "DPI" [c_identifier =] task task_identifier;

dpi_import_property ::= context | pure

dpi_function_proto ::= function_prototype

语法10-3 — 导入和导出语法（摘录自附录A）

无论是import还是export，c_identifier都是外部函数的名字（导入/导出），function_identifier是同一个函数在SystemVerilog中的名字。如果没有显式地指定c_identifier，那么它应该与SystemVerilog函数的function_identifier相同。如果并且仅仅如果c_identifier中包含了在C语言函数表示中无效的字符才应该产生错误。

通过为几个fnames提供相同的c_identifier，几个SystemVerilog函数可以映射到相同的外部函数。注意：正像下一段所定义的那样，所有的这些SystemVerilog函数必须具有相同的自变量类型。

对于任何给定的c_identifier，所有的声明，无论其作用范围如何，都必须具有完全相同的函数签名。函数签名包括返回类型、数目、顺序、方向以及每一个自变量的类型。每一个类型包括维数以及任何数组/数组维数。对于import声明，自变量可以是开放数组。开放数组在27.4.6.1节中定义。签名还包括与一个导入定义相关联的pure/context限定符。

对于一个给定的function_identifier，在任意给定的作用范围内，仅仅允许一个import或export声明。更为特别的是，对于一个import，在给定的作用范围内，import必须是function_identifier的唯一声明。对于一个export，函数必须在export发生并且在这个作用范围中function_identifier只有一个导出的作用范围内声明。

对于导出的函数，导出的函数必须在包含export "DPI"声明的相同的作用范围内声明。仅仅可以导出SystemVerilog函数（特别地，这就将一个类方法的导出排除在外）。

注意：与任何普通的SystemVerilog函数相同，以这种方式声明的import "DPI"函数可以被层次化引用调用。从SystemVerilog的角度看，导出一个SystemVerilog函数不会改变函数本来的语义和行为（也就是说，除了导出的函数可以被C语言调用者访问外，它在SystemVerilog中的使用没有任何特殊之处）。

只有不带有output或inout自变量的非void函数才可以被指定成pure。在对应的SystemVerilog外部声明中指定成pure的函数应该没有边带效应；它们的结果需要仅仅依赖于输入自变量的值。这样的函数的调用可以被SystemVerilog编译器的优化所删除，或者被具有相同输入自变量值的先前的计算结果所替代。

特别地，一个pure函数假定不会间接（也就说通过调用其它函数）或直接地执行下列操作：

• 执行文件操作
• 以尽可能广泛的含义读或写任何东西，包括I/O、环境变量、来自操作系统的对象、或者来自于程序或其它进程、共享内存、socket等的对象。
• 访问任何稳固的数据，例如全局或静态变量。

如果一个pure函数没有遵从上面的限制，SystemVerilog编译器优化可能会因为删除调用或使用不正确的结果而导致一个不希望的行为。

一个未限定的导入函数可以具有边带效应，但除了通过它的自变量提供的信号外，它不能读或修改任何SystemVerilog信号。未限定的导入不应该调用导出的SystemVerilog函数。

具有context限定符的导入函数可以调用导出的SystemVerilog函数，可以读或写那些除了使用它们的自变量传递、通过使用其它接口或作为调用导出的SystemVerilg函数的边带效应传递的信号外的SystemVerilog信号。context函数应该总是被隐含地提供了一个代表完全限定的实例名的作用范围，在这个作用范围中提供了导入声明（也就是说，一个导入函数总是运行在导入声明出现的实例中）。这与SystemVerilog函数具有相同的语义，它也是运行于它们被定义的范围内，而不是调用者的作用范围内。

导入context函数可以具有边带效应，并且可以使用其它SystemVerilog接口（包括但不限于VPI）。然而必须注意，声明一个导入context函数不会自动地使任何其它仿真器接口有效。为了使VPI访问（或任何其它接口访问）成为可能，仍然需要使用恰当的在实现中定义的机制来使能这些接口。还需要注意，DPI调用不会自动地创建或提供任何句柄或任何可能被其它接口所需要的特殊环境。用于有责任创建、管理或处理其它接口所需要的句柄/环境。svGetScopeName()及相关的函数提供了一个从DPI到其它接口的命名的链接。如果当前的DPI关联文指向一个定义了命名函数的实例的时候，只能调用导出的函数。

为了访问在任何其它作用范围定义的函数，外部语言代码必须恰当地改变DPI关联文。试图从并不直接可见的范围调用一个导出的SystemVerilog函数会导致一个运行时错误。如果处理这样的错误取决于具体的实现。如果一个导入函数需要调用一个当前范围内不可见的导出函数，它需要通过svSetScope将当前作用范围改变到对导出函数具有可见性的作用范围。在概念上，这等价于在SystemVerilog中进行一个层次化的限定函数调用。在一个导出函数的调用过程中，应该保留SystemVerilog关联文，即使当前的关联文已经被一个应用程序修改。注意，对于非context导入，没有定义关联文。试图从非context导入中使用任何依赖于context的功能都会导致不可预料的行为。