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

📄 00173.html

📁 这是一本关于verilog编程语言的教程,对学习verilog语言有帮助
💻 HTML
📖 第 1 页 / 共 2 页
字号:
<li class="Element601"><i><span class="Element146">constant_expression</span></i>只能是<span style="color: #FF0000">0</span>或者更大。</li>
<li class="Element601"><span style="color: #FF0000">$</span>标记被用来指示仿真的结束。对于形式验证工具,<span style="color: #FF0000">$</span>被用来指示一个有限的、 无边界的范围。</li>
<li class="Element601">当一个范围使用两个表达式说明的时候,第二个表达式必须大于或等于第一个表达式。</li>
</ul>&nbsp;</p>
<p class="Element10">
一个序列出现的语境决定了序列何时被计算。序列中的第一个表达式在触发序列计算的表达式的第一个时钟标记处被检查。序列中的每一个后续的元素(如果有的话)在后续的时钟被检查。&nbsp;</p>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
一个紧跟着一个数字或范围的##说明了从当前时钟标记到下一个序列开始的延时。延时<span style="color: #800080">##</span><span style="color: #FF0000">1</span>指示后续序列在当前时钟标记之后的一个时钟标记开始。延时<span style="color: #800080">##</span><span style="color: #FF0000">0</span>指示下一个序列开始于与当前时钟标记相同的时钟标记。&nbsp;</p>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
当作为两个序列的串联使用的时候,这个延时指的是从第一个序列的结尾到第二个序列的开始之间的延时。延时##1指示第二个序列的开始在第一个序列结束后的一个时钟标记。延时##0指示第二个序列的开始于第一个序列的结尾处于同一个时钟标记。&nbsp;</p>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
下面是几个延时表达式的例子,<span class="Element146"><span style="color: #800080">`</span>true</span>是一个布尔表达式,它总是被计算成“真”,这样它具有很好的直观性。它可以按如下方式定义: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00578');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00578"><pre class="Element12"><span style="color: #800080">`</span><span style="color: #0000FF">define</span> true <span style="color: #FF0000">1</span>
<span style="color: #800080">##</span><span style="color: #FF0000">0</span> a     <span style="color: #008000">// means a</span>
<span style="color: #800080">##</span><span style="color: #FF0000">1</span> a     <span style="color: #008000">// means ‘true ##1 a</span>
<span style="color: #800080">##</span><span style="color: #FF0000">2</span> a     <span style="color: #008000">// means ‘true ##1 ‘true ##1 a</span>
<span style="color: #800080">##[</span><span style="color: #FF0000">0</span><span style="color: #800080">:</span><span style="color: #FF0000">3</span><span style="color: #800080">]</span>a  <span style="color: #008000">// means (a) or (`true ##1 a) or (`true ##1 `true ##1 a) or</span>
          <span style="color: #008000">// (‘true ##1 ‘true ##1 ‘true ##1 a)</span>
a <span style="color: #800080">##</span><span style="color: #FF0000">2</span> b   <span style="color: #008000">// means a ##1 ‘true ##1 b</span></pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
对于下面的序列: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00579');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00579"><pre class="Element12">req <span style="color: #800080">##</span><span style="color: #FF0000">1</span> gnt <span style="color: #800080">##</span><span style="color: #FF0000">1</span> !req</pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
这个序列指出<span class="Element146">req</span>在当前的时钟标记为真,<span class="Element146">gnt</span>应该在第一个后续的时钟标记处为真,并且<span class="Element146">req</span>应该在此之后的下一个时钟标记处为假。<span style="color: #800080">##</span><span style="color: #FF0000">1</span>操作符说明了一个时钟标记的间隔。多于一个时钟标记的延时可以按下列方式说明: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00580');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00580"><pre class="Element12">req <span style="color: #800080">##</span><span style="color: #FF0000">2</span> gnt</pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
上面的例子指出,<span class="Element146">req</span>应该在当前的时钟标记处为真,并且<span class="Element146">gnt</span>应该在后续的第二个时钟标记处为真,如图17-2所示。 </p><p class="Element10" style="text-align: center">
<img src="Figure_17_2.png" border="0" alt="" title="">&nbsp;</p>
<p class="Element10" style="text-align: center">
<strong>图17-2 — 序列的串联</strong>&nbsp;</p><p class="Element10">
&nbsp;</p>
<p class="Element10">
下面的例子说明信号<span class="Element146">b</span>应该在信号<span class="Element146">a</span>之后的第N个时钟标记处为真: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00581');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00581"><pre class="Element12">a <span style="color: #800080">##</span>N b <span style="color: #008000">// 在第N个采样上检查b</span></pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
为了说明一个交叠序列的串联(其中一个序列的结束点与下一个序列的起始点冲突),需要使用一个为<span style="color: #FF0000">0</span>的值,如下例所示: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00582');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00582"><pre class="Element12">a <span style="color: #800080">##</span><span style="color: #FF0000">1</span> b <span style="color: #800080">##</span><span style="color: #FF0000">1</span> c <span style="color: #008000">// 第一个序列seq1</span>
d <span style="color: #800080">##</span><span style="color: #FF0000">1</span> e <span style="color: #800080">##</span><span style="color: #FF0000">1</span> f <span style="color: #008000">// 第二个序列seq2</span>
<span style="color: #800080">(</span>a <span style="color: #800080">##</span><span style="color: #FF0000">1</span> b <span style="color: #800080">##</span><span style="color: #FF0000">1</span> c<span style="color: #800080">)</span> <span style="color: #800080">##</span><span style="color: #FF0000">0</span> <span style="color: #800080">(</span>d <span style="color: #800080">##</span><span style="color: #FF0000">1</span> e <span style="color: #800080">##1</span> f<span style="color: #800080">)</span> <span style="color: #008000">// 交叠的串联</span></pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
在上面的例子中,<i><span class="Element146">c</span></i>必须在序列<i><span class="Element146">seq1</span></i>的结束点上为“真”,并且<i><span class="Element146">d</span></i>必须在序列<i><span class="Element146">seq2</span></i>的起始处为“真”。当使用<span style="color: #FF0000">0</span>时钟标记延时串联的时候,<i><span class="Element146">c</span></i>和<i><span class="Element146">d</span></i>必须在同一时刻为“真”,因此产生了一个等价于下面例子的串联的序列: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00583');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00583"><pre class="Element12">a <span style="color: #800080">##</span><span style="color: #FF0000">1</span> b <span style="color: #800080">##</span><span style="color: #FF0000">1</span> c<span style="color: #800080">&amp;&amp;</span>d <span style="color: #800080">##</span><span style="color: #FF0000">1</span> e <span style="color: #800080">##</span><span style="color: #FF0000">1</span> f</pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
同时需要注意的是:在序列之间没有其它形式的交叠能够使用串联操作进行表达。&nbsp;</p>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
在延时可以是一个范围内任意值的情况下,一个时间窗口可以使用下列形式指定: </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00584');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00584"><pre class="Element12">req <span style="color: #800080">##[</span><span style="color: #FF0000">4</span><span style="color: #800080">:</span><span style="color: #FF0000">32</span><span style="color: #800080">]</span> gnt</pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
在上面的例子中,信号<i><span class="Element146">req</span></i>必须在当前的时钟标记为真,并且信号<i><span class="Element146">gnt</span></i>必须在当前时钟标记之后的第4个和第32个时钟标记之间的某个时钟标记处为“真”。&nbsp;</p>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
通过使用<span style="color: #FF0000">$</span>,这个时间窗口可以被扩展到一个有限的、但无边界的范围,如下面的例子所示。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00585');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00585"><pre class="Element12">req <span style="color: #800080">##[</span><span style="color: #FF0000">4</span><span style="color: #800080">:</span><span style="color: #FF0000">$</span><span style="color: #800080">]</span> gnt</pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
通过与`true串联,一个序列可以被无条件地扩展。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00586');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00586"><pre class="Element12">a <span style="color: #800080">##</span><span style="color: #FF0000">1</span> b <span style="color: #800080">##</span><span style="color: #FF0000">1</span> c <span style="color: #800080">##</span><span style="color: #FF0000">3</span> <span style="color: #800080">‘</span>true</pre></div></div>
<p class="Element10">
&nbsp;</p>
<p class="Element10">
当满足了信号<i><span class="Element146">c</span></i>之后,序列长度被扩展了3个时钟标记。当通过较简单的序列来构建复杂序列的时候可以要求这样的在序列长度上的调整。</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="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="&#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 + -