📄 00288.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>23.8 断言严重性系统任务</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', '00288.html');" onmousedown="onBodyMouseDown();">
<!-- Begin Popups -->
<div class="Element801" id="popup00455">
<div class="Element800">
<div class="Element14">
链接</div>
<div class="Element11">
<div class="Element10">
<a href="00852.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, 'popup00455');"><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="00287.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="00852.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="00289.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">
23.8 断言严重性系统任务</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">
<div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00942');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00942"><pre class="Element12">assert_severity_task ::= // not in Annex A
fatal_message_task
| nonfatal_message_task
fatal_message_task ::= <strong><span style="color: #FF0000">$fatal</span></strong>[<strong><span style="color: #FF0000">(</span></strong>finish_number[<strong><span style="color: #FF0000">,</span></strong> message_argument{<strong><span style="color: #FF0000">,</span></strong> message_argument}]<strong><span style="color: #FF0000">)</span></strong>]<strong><span style="color: #FF0000">;</span></strong>
nonfatal_message_task ::= severity_task[<strong><span style="color: #FF0000">(</span></strong>[message_argument{<strong><span style="color: #FF0000">,</span></strong> message_argument]}]<strong><span style="color: #FF0000">)</span></strong>]<strong><span style="color: #FF0000">;</span></strong>
severity_task ::= <strong><span style="color: #FF0000">$error</span></strong> | <strong><span style="color: #FF0000">$warning</span></strong> | <strong><span style="color: #FF0000">$info</span></strong>
finish_number ::= <strong><span style="color: #FF0000">0</span></strong> | <strong><span style="color: #FF0000">1</span></strong> | <strong><span style="color: #FF0000">2</span></strong>
message_argument ::= string | expression</pre></div></div>
<p class="Element10" style="text-align: center">
<strong>Syntax 23-6—Assertion severity system task syntax (not in Annex A)</strong></p><p class="Element10">
</p>
<p class="Element10">
SystemVerilog assertions have a severity level associated with any assertion failures detected. By default, the severity of an assertion failure is “error”. The severity levels can be specified by including one of the following severity system tasks in the assertion fail statement:
<ul class="Element639">
<li class="Element609">$fatal shall generate a run-time fatal assertion error, which terminates the simulation with an error code. The first argument passed to $fatal shall be consistent with the corresponding argument to the Verilog $finish system task, which sets the level of diagnostic information reported by the tool. Calling $fatal results in an implicit call to $finish.</li>
<li class="Element609">$error shall be a run-time error.</li>
<li class="Element609">$warning shall be a run-time warning, which can be suppressed in a tool-specific manner.</li>
<li class="Element609">$info shall indicate that the assertion failure carries no specific severity.</li>
</ul>All of these severity system tasks shall print a tool-specific message, indicating the severity of the failure, and specific information about the failure, which shall include the following information:
<ul class="Element639">
<li class="Element609">The file name and line number of the assertion statement,</li>
<li class="Element609">The hierarchical name of the assertion, if it is labeled, or the scope of the assertion if it is not labeled.</li>
</ul>For simulation tools, these tasks shall also report the simulation run-time at which the severity system task is </p>
<p class="Element10">
called. </p>
<p class="Element10">
</p>
<p class="Element10">
Each of the severity tasks can include optional user-defined information to be reported. The user-defined message shall use the same syntax as the Verilog $display system task, and can include any number of arguments.</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="00852.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="00852.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 + -