📄 00011.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>10.5 导入与导出函数</title>
<meta http-equiv="Content-Type" content="text/html; charset=GB2312" />
<meta name="generator" content="Doc-O-Matic" />
<meta http-equiv="Content-Style-Type" content="text/css" />
<link rel="STYLESHEET" href="default.css" type="text/css" />
<script type="text/javascript" src="scripts.js"></script>
</head>
<body class="Element700" onload="onBodyLoadEx('systemverilog31a.html', 'topic', '00011.html');" onmousedown="onBodyMouseDown();">
<!-- Begin Popups -->
<div class="Element801" id="popup00187">
<div class="Element800">
<div class="Element14">
链接</div>
<div class="Element11">
<div class="Element10">
<a href="00873.html" target="topic">第十章 任务与函数</a></div>
</div>
</div>
</div>
<!-- End Popups -->
<!-- Begin Page Header -->
<div class="Element710" id="areafixed">
<div class="Element92">
<table width="100%" cellspacing="0" cellpadding="0">
<tr><td width="33%">
<div class="Element1">
<a href="#" onmousedown="showPopup(this, 'popup00187');"><img src="seealsolink.png" border="0" alt="" title=""></a> SystemVerilog 3.1a语言参考手册</div>
</td><td width="34%">
<div class="Element2">
</div>
</td><td width="33%">
<div class="Element90">
<a href="00010.html" target="topic"><img src="btn_prev_lightblue.gif" border="0" alt="Previous" title="Previous" onmouseover="switchImage(this, 'btn_prev_lightblue_hover.gif');" onmouseout="switchImage(this, 'btn_prev_lightblue.gif');"></a><a href="00873.html" target="topic"><img src="btn_up_lightblue.gif" border="0" alt="Up" title="Up" onmouseover="switchImage(this, 'btn_up_lightblue_hover.gif');" onmouseout="switchImage(this, 'btn_up_lightblue.gif');"></a><a href="00872.html" target="topic"><img src="btn_next_lightblue.gif" border="0" alt="Next" title="Next" onmouseover="switchImage(this, 'btn_next_lightblue_hover.gif');" onmouseout="switchImage(this, 'btn_next_lightblue.gif');"></a></div>
</td></tr></table><div class="Element5">
10.5 导入与导出函数</div>
</div>
</div>
<!-- End Page Header -->
<!-- Begin Client Area -->
<div class="Element720" id="areascroll">
<div class="Element721">
<!-- Begin Page Content -->
<div class="Element58">
<a name="描述"></a><div class="Element11">
<div class="Element10">
<p class="Element10">
函数导入和导出的语法如下： </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00338');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00338"><pre class="Element12">dpi_import_export ::= <span style="color: #008000">// 引用自附录A.2.6</span>
<strong><span style="color: #FF0000">import "DPI"</span></strong> [dpi_function_import_property] [c_identifier <strong><span style="color: #FF0000">=</span></strong>] dpi_function_proto<strong><span style="color: #FF0000">;</span></strong>
| <strong><span style="color: #FF0000">import "DPI"</span></strong> [dpi_task_import_property] [c_identifier <strong><span style="color: #FF0000">=</span></strong>] dpi_task_proto<strong><span style="color: #FF0000">;</span></strong>
| <strong><span style="color: #FF0000">export "DPI"</span></strong> [c_identifier <strong><span style="color: #FF0000">=</span></strong>] <strong><span style="color: #FF0000">function</span></strong> function_identifier<strong><span style="color: #FF0000">;</span></strong>
| <strong><span style="color: #FF0000">export "DPI"</span></strong> [c_identifier <strong><span style="color: #FF0000">=</span></strong>] <strong><span style="color: #FF0000">task</span></strong> task_identifier<strong><span style="color: #FF0000">;</span></strong>
dpi_import_property ::= <strong><span style="color: #FF0000">context</span></strong> | <strong><span style="color: #FF0000">pure</span></strong>
dpi_function_proto ::= function_prototype</pre></div></div>
<p class="Element10" style="text-align: center">
<strong>语法10-3 — 导入和导出语法（摘录自附录A）</strong></p><p class="Element10">
</p>
<p class="Element10">
无论是<span style="color: #0000FF">import</span>还是<span style="color: #0000FF">export</span>，<i>c_identifier</i>都是外部函数的名字（导入/导出），<i>function_identifier</i>是同一个函数在SystemVerilog中的名字。如果没有显式地指定<i>c_identifier</i>，那么它应该与SystemVerilog函数的<i>function_identifier</i>相同。如果并且仅仅如果<i>c_identifier</i>中包含了在C语言函数表示中无效的字符才应该产生错误。 </p>
<p class="Element10">
</p>
<p class="Element10">
通过为几个<i>fnames</i>提供相同的<i>c_identifier</i>，几个SystemVerilog函数可以映射到相同的外部函数。注意：正像下一段所定义的那样，所有的这些SystemVerilog函数必须具有相同的自变量类型。 </p>
<p class="Element10">
</p>
<p class="Element10">
对于任何给定的<i>c_identifier</i>，所有的声明，无论其作用范围如何，都必须具有完全相同的函数签名。函数签名包括返回类型、数目、顺序、方向以及每一个自变量的类型。每一个类型包括维数以及任何数组/数组维数。对于<span style="color: #0000FF">import</span>声明，自变量可以是开放数组。开放数组在<a href="00317.html" target="topic">27.4.6.1节</a>中定义。签名还包括与一个导入定义相关联的<span style="color: #0000FF">pure</span>/<span style="color: #0000FF">context</span>限定符。 </p>
<p class="Element10">
</p>
<p class="Element10">
对于一个给定的<i>function_identifier</i>，在任意给定的作用范围内，仅仅允许一个<span style="color: #0000FF">import</span>或<span style="color: #0000FF">export</span>声明。更为特别的是，对于一个<span style="color: #0000FF">import</span>，在给定的作用范围内，<span style="color: #0000FF">import</span>必须是<i>function_identifier</i>的唯一声明。对于一个<span style="color: #0000FF">export</span>，函数必须在<span style="color: #0000FF">export</span>发生并且在这个作用范围中<i>function_identifier</i>只有一个导出的作用范围内声明。 </p>
<p class="Element10">
</p>
<p class="Element10">
对于导出的函数，导出的函数必须在包含<span style="color: #0000FF">export</span> "DPI"声明的相同的作用范围内声明。仅仅可以导出SystemVerilog函数（特别地，这就将一个类方法的导出排除在外）。 </p>
<p class="Element10">
</p>
<p class="Element10">
注意：与任何普通的SystemVerilog函数相同，以这种方式声明的<span style="color: #0000FF">import</span> "DPI"函数可以被层次化引用调用。从SystemVerilog的角度看，导出一个SystemVerilog函数不会改变函数本来的语义和行为（也就是说，除了导出的函数可以被C语言调用者访问外，它在SystemVerilog中的使用没有任何特殊之处）。 </p>
<p class="Element10">
</p>
<p class="Element10">
只有不带有<span style="color: #0000FF">output</span>或<span style="color: #0000FF">inout</span>自变量的非<span style="color: #0000FF">void</span>函数才可以被指定成<span style="color: #0000FF">pure</span>。在对应的SystemVerilog外部声明中指定成<span style="color: #0000FF">pure</span>的函数应该没有边带效应；它们的结果需要仅仅依赖于输入自变量的值。这样的函数的调用可以被SystemVerilog编译器的优化所删除，或者被具有相同输入自变量值的先前的计算结果所替代。 </p>
<p class="Element10">
</p>
<p class="Element10">
特别地，一个<span style="color: #0000FF">pure</span>函数假定不会间接（也就说通过调用其它函数）或直接地执行下列操作：</p>
<ul class="Element630">
<li class="Element600">执行文件操作</li>
<li class="Element600">以尽可能广泛的含义读或写任何东西，包括I/O、环境变量、来自操作系统的对象、或者来自于程序或其它进程、共享内存、socket等的对象。</li>
<li class="Element600">访问任何稳固的数据，例如全局或静态变量。</li>
</ul><p class="Element10">
如果一个<span style="color: #0000FF">pure</span>函数没有遵从上面的限制，SystemVerilog编译器优化可能会因为删除调用或使用不正确的结果而导致一个不希望的行为。 </p>
<p class="Element10">
</p>
<p class="Element10">
一个未限定的导入函数可以具有边带效应，但除了通过它的自变量提供的信号外，它不能读或修改任何SystemVerilog信号。未限定的导入不应该调用导出的SystemVerilog函数。 </p>
<p class="Element10">
</p>
<p class="Element10">
具有<span style="color: #0000FF">context</span>限定符的导入函数可以调用导出的SystemVerilog函数，可以读或写那些除了使用它们的自变量传递、通过使用其它接口或作为调用导出的SystemVerilg函数的边带效应传递的信号外的SystemVerilog信号。<span style="color: #0000FF">context</span>函数应该总是被隐含地提供了一个代表完全限定的实例名的作用范围，在这个作用范围中提供了导入声明（也就是说，一个导入函数总是运行在导入声明出现的实例中）。这与SystemVerilog函数具有相同的语义，它也是运行于它们被定义的范围内，而不是调用者的作用范围内。 </p>
<p class="Element10">
</p>
<p class="Element10">
导入<span style="color: #0000FF">context</span>函数可以具有边带效应，并且可以使用其它SystemVerilog接口（包括但不限于VPI）。然而必须注意，声明一个导入<span style="color: #0000FF">context</span>函数不会自动地使任何其它仿真器接口有效。为了使VPI访问（或任何其它接口访问）成为可能，仍然需要使用恰当的在实现中定义的机制来使能这些接口。还需要注意，DPI调用不会自动地创建或提供任何句柄或任何可能被其它接口所需要的特殊环境。用于有责任创建、管理或处理其它接口所需要的句柄/环境。<span style="color: #0000FF">svGetScopeName</span><span style="color: #800080">()</span>及相关的函数提供了一个从DPI到其它接口的命名的链接。如果当前的DPI关联文指向一个定义了命名函数的实例的时候，只能调用导出的函数。 </p>
<p class="Element10">
</p>
<p class="Element10">
为了访问在任何其它作用范围定义的函数，外部语言代码必须恰当地改变DPI关联文。试图从并不直接可见的范围调用一个导出的SystemVerilog函数会导致一个运行时错误。如果处理这样的错误取决于具体的实现。如果一个导入函数需要调用一个当前范围内不可见的导出函数，它需要通过<span style="color: #0000FF">svSetScope</span>将当前作用范围改变到对导出函数具有可见性的作用范围。在概念上，这等价于在SystemVerilog中进行一个层次化的限定函数调用。在一个导出函数的调用过程中，应该保留SystemVerilog关联文，即使当前的关联文已经被一个应用程序修改。注意，对于非<span style="color: #0000FF">context</span>导入，没有定义关联文。试图从非<span style="color: #0000FF">context</span>导入中使用任何依赖于<span style="color: #0000FF">context</span>的功能都会导致不可预料的行为。</p></div>
</div>
<a name="Group"></a><div class="Element14">
<a onclick="toggleVisibilityStored('Group');" class="a_Element14"><img src="sectionminus.png" border="0" alt="" title="" id="imgGroup">Group</a></div>
<div id="divGroup">
<div class="Element11">
<div class="Element10">
<p class="Element10">
<a href="00873.html" target="topic">第十章 任务与函数</a></p></div>
</div>
</div>
<a name="Links"></a><div class="Element14">
<a onclick="toggleVisibilityStored('链接');" class="a_Element14"><img src="sectionminus.png" border="0" alt="" title="" id="img链接">链接</a></div>
<div id="div链接">
<div class="Element11">
<div class="Element10">
<a href="00873.html" target="topic">第十章 任务与函数</a></div>
</div>
</div>
</div>
<!-- End Page Content -->
<!-- Begin Page Footer -->
<hr width="98%" align="center" size="1" color="#CCCCCC" />
<table align="center" cellpadding="0" cellspacing="0" border="0">
<tbody>
<tr height="10">
<td></td>
</tr>
<tr align="center">
<td>
<script type="text/javascript"><!--
google_ad_client = "pub-5266859600380184";
google_ad_width = 468;
google_ad_height = 60;
google_ad_format = "468x60_as";
google_ad_type = "text_image";
google_ad_channel ="";
google_page_url = document.location;
//--></script>
<script type="text/javascript"
src="http://pagead2.googlesyndication.com/pagead/show_ads.js">
</script>
</td>
</tr>
<tr height="15">
<td></td>
</tr>
<tr align="center">
<td>
<font size=2>除非特别声明，原文版权归作者所有，如有转摘请注明原作者以及译者（<a href="http://www.fpgatech.net/" target="_blank">FPGA技术网</a>）信息。<br />
如果您对本主题有何建议或意见，请登陆<a href="http://www.fpgatech.net/forum/forumdisplay.php?fid=18" target="_blank">FPGA开发者家园</a>提交，您的参与是我们前进的动力。</font>
<script language="javascript" type="text/javascript" src="http://js.users.51.la/195685.js"></script>
<noscript><a href="http://www.51.la/?195685" target="_blank"><img alt="我要啦免费统计" src="http://img.users.51.la/195685.asp" style="border:none" /></a></noscript>
</td>
</tr>
</tbody>
</table>
<!-- End Page Footer -->
</div>
</div>
<!-- End Client Area -->
</body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -