📄 00180.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>17.7.4 与操作</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', '00180.html');" onmousedown="onBodyMouseDown();">
<!-- Begin Popups -->
<div class="Element801" id="popup00339">
<div class="Element800">
<div class="Element14">
链接</div>
<div class="Element11">
<div class="Element10">
<a href="00175.html" target="topic">17.7 序列操作</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, 'popup00339');"><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="00179.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="00175.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="00181.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.7.4 与操作</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">and</span>。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00620');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00620"><pre class="Element12">sequence_expr ::= <span style="color: #008000">// 引用自附录A.2.10</span>
...
| sequence_expr <strong><span style="color: #FF0000">and</span></strong> sequence_expr</pre></div></div>
<p class="Element10" style="text-align: center">
<strong>语法17-6 — and操作符语法(摘录自附录A)</strong></p><p class="Element10">
</p>
<p class="Element10">
<span style="color: #0000FF">and</span>的两个操作数为序列。<span style="color: #0000FF">and</span>操作的匹配要求两个操作数必须匹配。操作数序列起始于相同的时间。当其中的一个操作数匹配的时候,它等待另外一个操作数匹配。复合序列的结束时间是匹配后一个操作数的结束时间。 </p>
<p class="Element10">
</p>
<p class="Element10">
如果<i><span class="Element146">te1</span></i>和<i><span class="Element146">te2</span></i>是序列,那么对于复合序列: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00621');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00621"><pre class="Element12">te1 <span style="color: #0000FF">and</span> te2</pre></div></div>
<p class="Element10">
<ul class="Element631">
<li class="Element601">在<i><span class="Element146">te1</span></i>和<i><span class="Element146">te2</span></i>匹配的时候匹配。</li>
<li class="Element601">结束时间是<i><span class="Element146">te1</span></i>和<i><span class="Element146">te2</span></i>中最后一个匹配的时间。</li>
</ul>下面的例子是一个具有<span style="color: #0000FF">and</span>操作符的序列,其中的两个操作数都是序列。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00622');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00622"><pre class="Element12"><span style="color: #800080">(</span>te1<span style="color: #800080"> ##</span><span style="color: #FF0000">2</span><span style="color: #800080"> </span>te2<span style="color: #800080">) </span><span style="color: #0000FF">and</span><span style="color: #800080"> (</span>te3<span style="color: #800080"> ##</span><span style="color: #FF0000">2</span><span style="color: #800080"> </span>te4<span style="color: #800080"> ##</span><span style="color: #FF0000">2</span><span style="color: #800080"> </span>te5<span style="color: #800080">)</span></pre></div></div>
<p class="Element10">
</p>
<p class="Element10" style="text-align: center">
<img src="Figure_17_4.png" border="0" alt="" title=""> </p>
<p class="Element10" style="text-align: center">
<strong>图17-4 — 两个序列的与操作</strong></p><p class="Element10">
</p>
<p class="Element10">
图17-4中演示的操作展示了在时钟标记8处的计算尝试。在这里,两个操作数序列为<i><span class="Element146"><span style="color: #800080">(</span>te1<span style="color: #800080"> ##</span><span style="color: #FF0000">2</span><span style="color: #800080"> </span>te2<span style="color: #800080">)</span></span></i>和<i><span class="Element146"><span style="color: #800080">(</span>te3<span style="color: #800080"> ##</span><span style="color: #FF0000">2</span><span style="color: #800080"> </span>te4<span style="color: #800080"> ##</span><span style="color: #FF0000">2</span><span style="color: #800080"> </span>te5<span style="color: #800080">)</span></span></i>。第一个操作数序列要求te1首先被计算为真,然后<i><span class="Element146">te2</span></i>在两个时钟标记之后被计算为真。第二个序列要求<i><span class="Element146">te3</span></i>首先被计算为“真”,然后<i><span class="Element146">te4</span></i>在两个时钟标记之后被计算为“真”,最后<i><span class="Element146">te5</span></i>在两个时钟标记之后被计算为“真”。 </p>
<p class="Element10">
</p>
<p class="Element10">
因为两个操作数序列都是匹配的,所以这个计算尝试会产生一个匹配。单个序列匹配的结束时间是时钟标记10和时钟标记12。复合序列的结束时间是两个结束时间较晚的一个,复合序列在时钟标记12处识别了一个匹配。 </p>
<p class="Element10">
</p>
<p class="Element10">
在下面的例子中,第一个操作数序列具有一个串联操作符,范围为1到5: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00623');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00623"><pre class="Element12"><span style="color: #800080">(</span>te1 <span style="color: #800080">##[</span><span style="color: #FF0000">1</span><span style="color: #800080">:</span><span style="color: #FF0000">5</span><span style="color: #800080">]</span> te2<span style="color: #800080">)</span> <span style="color: #0000FF">and</span> <span style="color: #800080">(</span>te3 <span style="color: #800080">##</span><span style="color: #FF0000">2</span> te4 <span style="color: #800080">##</span><span style="color: #FF0000">2</span> te5<span style="color: #800080">)</span></pre></div></div>
<p class="Element10">
</p>
<p class="Element10">
第一个操作数序列要求<i><span class="Element146">te1</span></i>被计算成“真”,并且<i><span class="Element146">te2</span></i>在1、2、3、4或5个时钟标记之后被计算成“真”。第二个操作数序列与前一个例子相同。为了考虑复合序列匹配的所有的可能性,我们采用下列的步骤:
<ol class="Element631">
<li value="1" class="Element601">为与第一个序列操作数相关的五个可能的线性序列启动五个执行线程。</li>
<li value="2" class="Element601">第二个操作数序列只有一个相关联的线性序列,所以只为它启动一个执行线程。</li>
<li value="3" class="Element601">图17-5显示了开始于时钟标记8处的计算尝试。正像一个时间窗口中显示的那样,第一个操作数序列的所有五个线性序列都是匹配的,所以有五个第一个操作数序列的匹配,它们分别在时钟标记9、10、11、12和13处结束。第二个操作数序列在时钟标记12处结束。</li>
<li value="4" class="Element601">第一个操作数的每一次匹配都与第二个操作数序列的单次匹配相结合,与操作的规则决定了复合序列最终匹配的结束时间。</li>
</ol> </p>
<p class="Element10">
这个计算的结果是复合序列的五个匹配,其中的四个在时钟标记12处结束,第五个在时钟标记13处结束。图17-5显示了复合序列在时钟标记12和13处结束的匹配。 </p>
<p class="Element10">
</p><p class="Element10" style="text-align: center">
<img src="Figure_17_5.png" border="0" alt="" title=""> </p>
<p class="Element10" style="text-align: center">
<strong>图17-5 — 两个序列的与操作 ,包括一个时间范围</strong> </p><p class="Element10">
</p>
<p class="Element10">
如果<i><span class="Element146">te1</span></i>和<i><span class="Element146">te2</span></i>是被采样的表达式(不是序列),那么在<i><span class="Element146">te1</span></i>和<i><span class="Element146">te2</span></i>在都被计算成“真”的时候序列(<i><span class="Element146">te1</span></i>和<i><span class="Element146">te2</span></i>)会匹配。 </p>
<p class="Element10">
</p>
<p class="Element10">
图17-6中展示了一个这样的例子,它显示了在每一个时钟标记处的尝试结果。序列在时钟标记1、3、8和14处匹配,因为<i>te1</i>和<i>te2</i>在这些时钟标记处同时为“真”。在所有其它的时钟标记处,序列匹配是失败的,因为在这些时钟标记上,或者<i><span class="Element146">te1</span></i>为“假”,或者<i><span class="Element146">te2</span></i>为“假”。 </p>
<p class="Element10">
</p><p class="Element10" style="text-align: center">
<img src="Figure_17_6.png" border="0" alt="" title=""> </p>
<p class="Element10" style="text-align: center">
<strong>图17-6 — 两个布尔表达式的与操作</strong> </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="00175.html" target="topic">17.7 序列操作</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="00175.html" target="topic">17.7 序列操作</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 + -