00584.html

这是一本关于verilog编程语言的教程,对学习verilog语言有帮助

<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="00583.html" target="topic">8.4 选择语句</a></p></div>
</div>
</div>
<a name="主题"></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">
<div class="Element212">
<div class="TableDiv">
<table cellspacing="0" class="Table0">
<tr>
<td class="Element200" valign="top" width="50%">
<div class="Element201">
主题&nbsp;</div></td><td class="Element204" valign="top" width="50%">
<div class="Element205">
描述&nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00585.html" target="topic">8.4.1.1 case语句中的模式匹配</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
在一个模式匹配<span style="color: #0000FF">case</span>语句中，圆括号内的表达式紧跟着关键字<span style="color: #0000FF">matches</span>，并且语句包含了一系列“<i>case_pattern_items</i>”。在一个<span style="color: #0000FF">case</span>条目的左侧，“<span style="color: #800080">:</span>”之前的部分，包含了一个模式以及一个可选的<span style="color: #800080">&amp;&amp;</span>操作符，在<span style="color: #800080">&amp;&amp;</span>操作符之后紧跟一个“<i>filter</i>”布尔表达式。<span style="color: #0000FF">case</span>条目的右侧是一条语句。每一个模式都引入了一个新的作用范围，在这个范围中会隐式地声明它的模式标识符；这个作用范围扩展到可选的过滤器表达式以及同一个case条目右侧的语句。因此，不同的case条目可以复用模式标识符。<br><br>所有的模式均执行完全静态的类型检查。在模式匹配<span style="color: #0000FF">case</span>语句中进行测试的表达式必须具有已知的类型，它与每个<span style="color: #0000FF">case</span>条目中模式的类型相同。<br><br>模式匹配<span style="color: #0000FF">case</span>语句中圆括号内的表达式应该仅计算一次。它的值<i>V</i>应该以指定的顺序一次一个条目地与case条目的左侧进行匹配，如果有<span style="color: #0000FF">default case</span>条目的话，会将其忽略。在这个线性搜索过程中，如果一个<span style="color: #0000FF">case</span>条目被选择，那么它对应的语句会被执行，然后中止这个线性搜索。如果没有<span style="color: #0000FF">case</span>条目被选择，那么会执行<span style="color: #0000FF">default case</span>条目中的语句。如果既没有<span style="color: #0000FF">case</span>条目被选择也没有指定<span style="color: #0000FF">default case</span>条目的话，那么不执行任何语句。<br><br>对于一个被选择的<span style="color: #0000FF">case</span>条目，值<i>V</i>必须与模式匹配（模式标识符被赋值为<i>V</i>中对应的成员），并且，布尔过滤器表达式的计算结果必须为“真”（非零的确定值）。<br><br>例子： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00586.html" target="topic">8.4.1.2 if语句中的模式匹配</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
if语句中的判定条件可以是一系列使用<span style="color: #800080">&amp;&amp;</span>操作符分割的子句。每一个字句或者是一个表达式（用作布尔过滤器），或者具有形状表达式匹配模式。这些子句代表了一个从左到右的顺序的联合，也就是说，如果任何子句失败，剩余的子句都不会被计算，为了使判定条件为真，所有的子句都必须成功。布尔表达式以正常的方式计算。每一个模式都产生一个新的作用范围，其中模式标识符被隐式声明；这个作用范围扩展到判定条件中剩余的子句并扩展到if语句中对应为“真”的分支。<br><br>在每一个<i>e</i>匹配于<i>p</i>的子句中，<i>e</i>和<i>p</i>必须相同的静态已知的类型。<i>e</i>的值以上面描述的方式与<i>p</i>进行匹配。<br><br>即使模式匹配子句总是返回1位的结果，整个判定条件的结果也可能会因为其中的布尔过滤器表达式变得不明确。if语句保持标准语义，也就是说，第一条语句只有当结果是确定的非零值时才执行。<br><br>例子： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00587.html" target="topic">8.4.1.3 条件表达式中的模式匹配</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
条件表达式（<i>e1 <span style="color: #800080"></i>?<i></span> e2 <span style="color: #800080"></i>:<i></span> e3</i>）也可以使用模式匹配，也就是说，判定条件e1可以是一个表达式序列，并且表达式匹配模式子句使用<span style="color: #800080">&amp;&amp;</span>操作符分割，就像if语句中的判定条件一样。这些子句代表了一个从左到右的顺序的联合，也就是说，如果任何子句失败，剩余的子句都不会被计算，为了使判定条件为真，所有的子句都必须成功。布尔表达式以正常的方式计算。每一个模式都产生一个新的作用范围，其中模式标识符被隐式声明；这个作用范围扩展到判定条件中剩余的子句并扩展到作为结果的表达式<i>e2</i>。<br><br>正像前面章节所描述的那样，e1可以被计算成“真”、“假”或者一个不明确的值。对于<i>e1</i>，整个条件表达式的语义基于这三个可能的结果在<a href="00564.html" target="topic">7.18节</a>中描述。&nbsp;</div></td></tr></table></div></div>
</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="00583.html" target="topic">8.4 选择语句</a>, <a href="00915.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="&#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>