00067.html

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

<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="00068.html" target="topic">12.4.1 外部约束块</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
约束体可以像外部任务和函数体一样在一个类声明之外声明： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00072.html" target="topic">12.4.2 继承</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
对于继承而言，约束与类变量、任务和函数遵从相同的规则：</p>
<ul class="Element630">
<li class="Element600">如果一个继承类中的约束与它父类中的约束具有相同的名字，那么它会过载基类约束。例如：</li>
</ul><p class="Element207">
&nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00073.html" target="topic">12.4.3 集合成员资格</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
约束支持整数值集合以及集合成员资格操作符（在<a href="00568.html" target="topic">7.20节</a>定义）。<br><br>如果没有其它的约束，<span style="color: #0000FF">inside</span>操作符在选择值的时候，所有的值（包括单一值或范围值）都具有相等的概率。<br><br><span style="color: #0000FF">inside</span>操作符的否定形式指示表达式位于集合范围之外：<span style="color: #800080">!(<i></span>expression</i> <span style="color: #0000FF">inside</span> <span style="color: #800080">{<i></span>set<span style="color: #800080"></i>})</span>。<br><br>例如： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00074.html" target="topic">12.4.4 分布</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
除了集合成员资格外，约束支持被称为分布的加权值的集合。分布具有两个特性：它们是集合成员资格的关系测试，并且它们为结果指定了一个统计分布函数。<br><br>定义一个分布表达式的语法如下： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00075.html" target="topic">12.4.5 蕴含</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
约束提供了两种结构来声明有条件（判定的）的关系：蕴含和<span style="color: #0000FF">if</span>...<span style="color: #0000FF">else</span>。<br><br>蕴含操作符（<span style="color: #800080">-&gt;</span>）可以用来声明隐含了一个约束的表达式。<br><br>定义一个蕴含约束的语法如下： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00076.html" target="topic">12.4.6 if...else约束</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
SystemVerilog还支持<span style="color: #0000FF">if</span>...<span style="color: #0000FF">else</span>类型的约束。<br><br>定义<span style="color: #0000FF">if</span>...<span style="color: #0000FF">else</span>约束的语法如下： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00077.html" target="topic">12.4.7 迭代约束</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
迭代约束让我们能够使用循环变量和索引表达式以一种参数化的方式约束数组变量。<br><br>定义一个迭代约束的语法如下： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00078.html" target="topic">12.4.8 全局约束</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
当类中的一个对象成员使用rand声明的时候，类中的所有约束和随机变量都会与其它的类变量和约束同时随机化。包含来自其它对象的约束变量的约束表达式被称为全局约束。 &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00079.html" target="topic">12.4.9 变量排序</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
求解器必须确保选择的值在有效的值组合中具有均匀的值分布（也就是说，所有的有效值组合在求解过程中具有相等的概率）。这个重要的特性能够保证所有的值组合的可能性是相等的，这也就允许随机化能够更好地探索整个设计空间。<br><br>然而，有时我们希望强制某种组合出现的频率更高一些。考虑一个案例，其中1位的控制变量<i>s</i>约束了一个32位的数据值<i>d</i>： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00069.html" target="topic">12.4.10 静态约束块</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
一个约束块可以通过在其定义中包含<span style="color: #0000FF">static</span>关键字来被定义成静态的。<br><br>声明一个静态约束块的语法如下： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00070.html" target="topic">12.4.11 约束中的函数</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
某些特性很难或不可能在单一的表达式中表达。例如，在计算一个压缩数组中1的数目的时候，最普通的方法是使用一个循环语句： &nbsp;</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00071.html" target="topic">12.4.12 约束守卫者</a>&nbsp;</div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
约束守卫者是一些判决表达式，它的作用并不是为了求解约束需要满足的逻辑关系，而是作为产生约束的守卫者。这些判决表达式在约束被求解之前计算，并且只能调用下列条目：</p>
<ul class="Element630">
<li class="Element600">常量</li>
<li class="Element600">状态变量</li>
<li class="Element600">对象句柄比较（两个句柄之间比较或者在句柄与常量<span style="color: #FF0000">null</span>之间比较）</li>
</ul><p class="Element207">
除了上面描述的条目外，迭代约束（参见<a href="00077.html" target="topic">12.4.7节</a>）还会将循环变量以及正在被迭代的数组的尺寸当作状态变量。<br><br>将这些判决表达式作为约束守卫者能够在某些表面上看起来正确的约束上失败，因此也就可以防止求解器产生计算错误。这就使得用户能够编写约束来防止由于无效句柄或越界的数组索引导致的错误。例如，下面的例子实现了一个singlylinked链表（名字为<i>SList</i>），使用它的<i>sort</i>约束能够赋值一个按降序排列的数字随机序列。然而，对于最后一个元素，<i>next<span style="color: #800080">.</span>n</i>会由于无效句柄产生一个计算错误，因此约束表达式会在最后一个元素失败。 &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="00865.html" target="topic">第十二章 随机约束</a>, <a href="00927.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>