⭐ 欢迎来到虫虫下载站！ | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站
📤 上传资源

📄 00625.html

📁 这是一本关于verilog编程语言的教程,对学习verilog语言有帮助
💻 HTML
字号:
🔍 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>A.2.10 Assertion declarations</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', '00625.html');" onmousedown="onBodyMouseDown();">

<!-- Begin Popups -->
<div class="Element801" id="popup00666">
<div class="Element800">
<div class="Element14">
链接</div>
<div class="Element11">
<div class="Element10">
<a href="00620.html" target="topic">A.2 声明</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, 'popup00666');"><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="00637.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="00620.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="00626.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">
A.2.10 Assertion declarations</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">
concurrent_assertion_item ::= [ block_identifier : ] concurrent_assertion_statement&nbsp;</p>
<p class="Element10">
concurrent_assertion_statement ::=&nbsp;</p>
<p class="Element10">
assert_property_statement&nbsp;</p>
<p class="Element10">
| assume_property_statement&nbsp;</p>
<p class="Element10">
| cover_property_statement&nbsp;</p>
<p class="Element10">
assert_property_statement::=&nbsp;</p>
<p class="Element10">
assert property ( property_spec ) action_block&nbsp;</p>
<p class="Element10">
assume_property_statement::=&nbsp;</p>
<p class="Element10">
assume property ( property_spec ) ;&nbsp;</p>
<p class="Element10">
cover_property_statement::=&nbsp;</p>
<p class="Element10">
cover property ( property_spec ) statement_or_null&nbsp;</p>
<p class="Element10">
expect_property_statement ::=&nbsp;</p>
<p class="Element10">
expect ( property_spec ) action_block&nbsp;</p>
<p class="Element10">
property_instance ::=&nbsp;</p>
<p class="Element10">
ps_property_identifier [ ( [ actual_arg_list ] ) ]&nbsp;</p>
<p class="Element10">
concurrent_assertion_item_declaration ::=&nbsp;</p>
<p class="Element10">
property_declaration&nbsp;</p>
<p class="Element10">
| sequence_declaration&nbsp;</p>
<p class="Element10">
property_declaration ::=&nbsp;</p>
<p class="Element10">
property property_identifier [ ( [ list_of_formals ] ) ] ;&nbsp;</p>
<p class="Element10">
{ assertion_variable_declaration }&nbsp;</p>
<p class="Element10">
property_spec ;&nbsp;</p>
<p class="Element10">
endproperty [ : property_identifier ]&nbsp;</p>
<p class="Element10">
property_spec ::=&nbsp;</p>
<p class="Element10">
[clocking_event ] [ disable iff ( expression_or_dist ) ] property_expr&nbsp;</p>
<p class="Element10">
property_expr ::=&nbsp;</p>
<p class="Element10">
sequence_expr&nbsp;</p>
<p class="Element10">
| ( property_expr )&nbsp;</p>
<p class="Element10">
| not property_expr&nbsp;</p>
<p class="Element10">
| property_expr or property_expr&nbsp;</p>
<p class="Element10">
| property_expr and property_expr&nbsp;</p>
<p class="Element10">
| sequence_expr |-&gt; property_expr&nbsp;</p>
<p class="Element10">
| sequence_expr |=&gt; property_expr&nbsp;</p>
<p class="Element10">
| if ( expression_or_dist ) property_expr [ else property_expr ]&nbsp;</p>
<p class="Element10">
| property_instance&nbsp;</p>
<p class="Element10">
| clocking_event property_expr&nbsp;</p>
<p class="Element10">
sequence_declaration ::=&nbsp;</p>
<p class="Element10">
sequence sequence_identifier [ ( [ list_of_formals ] ) ] ;&nbsp;</p>
<p class="Element10">
{ assertion_variable_declaration }&nbsp;</p>
<p class="Element10">
sequence_expr ;&nbsp;</p>
<p class="Element10">
endsequence [ : sequence_identifier ]&nbsp;</p>
<p class="Element10">
sequence_expr ::=&nbsp;</p>
<p class="Element10">
cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }&nbsp;</p>
<p class="Element10">
| sequence_expr cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }&nbsp;</p>
<p class="Element10">
| expression_or_dist [ boolean_abbrev ]&nbsp;</p>
<p class="Element10">
| ( expression_or_dist {, sequence_match_item } ) [ boolean_abbrev ]&nbsp;</p>
<p class="Element10">
| sequence_instance [ sequence_abbrev ]&nbsp;</p>
<p class="Element10">
| ( sequence_expr {, sequence_match_item } ) [ sequence_abbrev ]&nbsp;</p>
<p class="Element10">
| sequence_expr and sequence_expr&nbsp;</p>
<p class="Element10">
| sequence_expr intersect sequence_expr&nbsp;</p>
<p class="Element10">
| sequence_expr or sequence_expr&nbsp;</p>
<p class="Element10">
| first_match ( sequence_expr {, sequence_match_item} )&nbsp;</p>
<p class="Element10">
| expression_or_dist throughout sequence_expr&nbsp;</p>
<p class="Element10">
| sequence_expr within sequence_expr&nbsp;</p>
<p class="Element10">
| clocking_event sequence_expr&nbsp;</p>
<p class="Element10">
cycle_delay_range ::=&nbsp;</p>
<p class="Element10">
## integral_number&nbsp;</p>
<p class="Element10">
| ## identifier&nbsp;</p>
<p class="Element10">
| ## ( constant_expression )&nbsp;</p>
<p class="Element10">
| ## [ cycle_delay_const_range_expression ]&nbsp;</p>
<p class="Element10">
sequence_method_call ::=&nbsp;</p>
<p class="Element10">
sequence_instance . method_identifier&nbsp;</p>
<p class="Element10">
sequence_match_item ::=&nbsp;</p>
<p class="Element10">
operator_assignment&nbsp;</p>
<p class="Element10">
| inc_or_dec_expression&nbsp;</p>
<p class="Element10">
| subroutine_call&nbsp;</p>
<p class="Element10">
sequence_instance ::=&nbsp;</p>
<p class="Element10">
ps_sequence_identifier [ ( [ actual_arg_list ] ) ]&nbsp;</p>
<p class="Element10">
formal_list_item ::=&nbsp;</p>
<p class="Element10">
formal_identifier [ = actual_arg_expr ]&nbsp;</p>
<p class="Element10">
list_of_formals ::= formal_list_item { , formal_list_item }&nbsp;</p>
<p class="Element10">
actual_arg_list ::=&nbsp;</p>
<p class="Element10">
actual_arg_expr { , actual_arg_expr }&nbsp;</p>
<p class="Element10">
| . formal_identifier ( actual_arg_expr ) { , . formal_identifier ( actual_arg_expr ) }&nbsp;</p>
<p class="Element10">
actual_arg_expr ::=&nbsp;</p>
<p class="Element10">
event_expression&nbsp;</p>
<p class="Element10">
| $&nbsp;</p>
<p class="Element10">
boolean_abbrev ::=&nbsp;</p>
<p class="Element10">
consecutive_repetition&nbsp;</p>
<p class="Element10">
| non_consecutive_repetition&nbsp;</p>
<p class="Element10">
| goto_repetition&nbsp;</p>
<p class="Element10">
sequence_abbrev ::= consecutive_repetition&nbsp;</p>
<p class="Element10">
consecutive_repetition ::= [* const_or_range_expression ]&nbsp;</p>
<p class="Element10">
non_consecutive_repetition ::= [= const_or_range_expression ]&nbsp;</p>
<p class="Element10">
goto_repetition ::= [-&gt; const_or_range_expression ]&nbsp;</p>
<p class="Element10">
const_or_range_expression ::=&nbsp;</p>
<p class="Element10">
constant_expression&nbsp;</p>
<p class="Element10">
| cycle_delay_const_range_expression&nbsp;</p>
<p class="Element10">
cycle_delay_const_range_expression ::=&nbsp;</p>
<p class="Element10">
constant_expression : constant_expression&nbsp;</p>
<p class="Element10">
| constant_expression : $&nbsp;</p>
<p class="Element10">
expression_or_dist ::= expression [ dist { dist_list } ]&nbsp;</p>
<p class="Element10">
assertion_variable_declaration ::=&nbsp;</p>
<p class="Element10">
data_type list_of_variable_identifiers ;</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="00620.html" target="topic">A.2 声明</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="00620.html" target="topic">A.2 声明</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="&#x6211;&#x8981;&#x5566;&#x514D;&#x8D39;&#x7EDF;&#x8BA1;" 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 + -