📄 00167.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>17.2 即时断言</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', '00167.html');" onmousedown="onBodyMouseDown();">
<!-- Begin Popups -->
<div class="Element801" id="popup00327">
<div class="Element800">
<div class="Element14">
链接</div>
<div class="Element11">
<div class="Element10">
<a href="00868.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, 'popup00327');"><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="00143.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="00868.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="00168.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">
17.2 即时断言</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">
即时断言语句是一个表达式的测试，当语句在程序代码中执行的时候完成。表达式是非时间的，并且按一个过程化<span style="color: #0000FF">if</span>语句的条件中的表达式相同的方式解释。也就是说，如果表达式计算成<span style="color: #FF0000">X</span>、<span style="color: #FF0000">Z</span>或<span style="color: #FF0000">0</span>，那么它被解释成假并且认为断言失败。否则，表达式被解释成真，并且认为断言通过。 </p>
<p class="Element10">
</p>
<p class="Element10">
即时断言语句是一个<span class="Element146">statement_item</span>，并且可以在一个过程化语句被说明的任意地方说明。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00566');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00566"><pre class="Element12">procedural_assertion_statement ::= <span style="color: #008000">// 引用自附录A.6.10</span>
...
| immediate_assert_statement
immediate_assert_statement ::=
<strong><span style="color: #FF0000">assert (</span></strong>expression<strong><span style="color: #FF0000">)</span></strong> action_block
action_block ::= <span style="color: #008000">// 引用自附录A.6.3</span>
statement_or_null
| [statement] <strong><span style="color: #FF0000">else</span></strong> statement</pre></div></div>
<p class="Element10" style="text-align: center">
<strong>语法17-1 — 即时断言语法（摘录自附录A）</strong></p><p class="Element10">
</p>
<p class="Element10">
<span class="Element146">action_block</span>说明了在断言成功或失败时作出什么样的动作。与断言语句成功相关联的语句是第一条语句。它被称为合格语句并且在表达式被计算成真的时候执行。例如，合格语句可以为一个覆盖率日志记录成功的数目，但合格语句也可以被完全忽略。如果合格语句被忽略，那么当断言表达式为真的时候不会作出用户指定的动作。与<span style="color: #0000FF">else</span>相关联的语句被称为失败语句，并且当表达式被计算成假的时候执行。<span style="color: #0000FF">else</span>语句也可以被忽略。动作块在断言表达式被计算后立即执行。 </p>
<p class="Element10">
</p>
<p class="Element10">
可选的语句标签（标识符和冒号）产生了一个命名的块，它包围了断言语句（或任意其它的SystemVerilog语句）并且能够使用<span style="color: #800080">%m</span>的格式说明来显示。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00567');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00567"><pre class="Element12">assert_foo <span style="color: #800080">:</span> <span style="color: #0000FF">assert</span><span style="color: #800080">(</span>foo<span style="color: #800080">)</span> <span style="color: #0000FF">$display</span><span style="color: #800080">(</span><span style="color: #575D94">"%m passed"</span><span style="color: #800080">);</span> <span style="color: #0000FF">else</span> <span style="color: #0000FF">$display</span><span style="color: #800080">(</span><span style="color: #575D94">"%m failed"</span><span style="color: #800080">);</span></pre></div></div>
<p class="Element10">
</p>
<p class="Element10">
注意：断言控制系统任务在第<a href="00289.html" target="topic">23.9节</a>中描述。 </p>
<p class="Element10">
</p>
<p class="Element10">
由于断言是一条有时必须为真的语句，所以断言的失败应该具有一个与其相关联的严重程度。缺省情况下，一个断言失败的严重程度是<span class="Element146">error</span>。其它的严重程度可以通过在失败语句中包含下列严重性系统任务重的一个来指定：
<ul class="Element631">
<li class="Element601"><span style="color: #0000FF">$fatal</span>是一个运行时的致命性错误。</li>
<li class="Element601"><span style="color: #0000FF">$error</span>是一个运行时错误。</li>
<li class="Element601"><span style="color: #0000FF">$warning</span>是一个运行时警告，它可以以一个工具专用的方式来取消。</li>
<li class="Element601"><span style="color: #0000FF">$info</span>指示不带有任何严重程度的断言失败。</li>
</ul>这些系统任务的语法在<a href="00288.html" target="topic">23.8节</a>中展示。 </p>
<p class="Element10">
</p>
<p class="Element10">
如果一个断言失败并且没有指定<span style="color: #0000FF">else</span>子句，那么除非使用一个工具专用的选项（例如命令行选项）来取消失败，否则工具应该缺省调用<span style="color: #0000FF">$call</span>。 </p>
<p class="Element10">
</p>
<p class="Element10">
所有这些严重性系统任务都应该打印一条工具专用的信息，它能够指示失败的严重程度以及有关特定失败的特定信息，包括：
<ul class="Element631">
<li class="Element601">断言语句的文件名和行号。</li>
<li class="Element601">如果指定了层次化名字标签，那么应该提供断言的层次化名字；否则应该提供断言的作用范围。</li>
</ul> </p>
<p class="Element10">
对于仿真工具，这些任务还应该包含验证程度系统任务被调用的仿真运行时间。 </p>
<p class="Element10">
</p>
<p class="Element10">
每一个系统任务还可以使用与Verilog <span style="color: #0000FF">$display</span>相同的格式包含额外的用户专用信息。 </p>
<p class="Element10">
</p>
<p class="Element10">
如果<span style="color: #0000FF">else</span>子句包含了多个系统任务，那么每一个系统任务都应该按指定的方式执行。 </p>
<p class="Element10">
</p>
<p class="Element10">
如果严重性系统任务在不是断言失败的时候执行，那么断言真实的失败时间可以被记录，并被有计划地显示。例如： </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00568');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00568"><pre class="Element12"><span style="color: #0000FF">time</span> t<span style="color: #800080">;</span>
<span style="color: #0000FF">always</span> <span style="color: #800080">@(</span><span style="color: #0000FF">posedge</span><span style="color: #800080"> </span>clk<span style="color: #800080">)</span>
<span style="color: #0000FF">if</span> <span style="color: #800080">(</span>state<span style="color: #800080"> == </span>REQ<span style="color: #800080">)</span>
<span style="color: #0000FF">assert</span> <span style="color: #800080">(</span>req1<span style="color: #800080"> || </span>req2<span style="color: #800080">)</span>
<span style="color: #0000FF">else begin</span>
t <span style="color: #800080">= </span><span style="color: #0000FF">$time</span><span style="color: #800080">;</span>
<span style="color: #800080">#</span><span style="color: #FF0000">5</span> <span style="color: #0000FF">$error</span><span style="color: #800080">(</span><span style="color: #575D94">"assert failed at time %0t"</span><span style="color: #800080">,</span>t<span style="color: #800080">);</span>
<span style="color: #0000FF">end</span></pre></div></div>
<p class="Element10">
</p>
<p class="Element10">
如果断言在时间10处失败，那么错误消息应该时间15处打印，但用户定义的打印字符串应该为“<span class="Element146">assert failed at time 10</span>”。 </p>
<p class="Element10">
</p>
<p class="Element10">
警告和信息类型的消息可以通过一个工具专用的选项（例如一个命令行选项）来控制其显示。 </p>
<p class="Element10">
</p>
<p class="Element10">
由于失败语句与通过语句一样可以是任何合法的SystemVerilog过程化语句，所以它还可以被用来将失败通知到测试平台的另外一个部分。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00569');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00569"><pre class="Element12"><span style="color: #0000FF">assert</span> <span style="color: #800080">(</span>myfunc<span style="color: #800080">(</span>a<span style="color: #800080">,</span>b<span style="color: #800080">))</span> count1 <span style="color: #800080">=</span> count <span style="color: #800080">+ </span><span style="color: #FF0000">1</span><span style="color: #800080">;</span> else<span style="color: #800080"> -> </span>event1<span style="color: #800080">;</span>
<span style="color: #0000FF">assert</span> <span style="color: #800080">(</span>y<span style="color: #800080"> ==</span><span style="color: #FF0000"> 0</span><span style="color: #800080">)</span> <span style="color: #0000FF">else</span> flag <span style="color: #800080">= </span><span style="color: #FF0000">1</span><span style="color: #800080">;</span></pre></div></div>
</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="00868.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="00868.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 + -