📄 00865.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>第十二章 随机约束</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', '00865.html');" onmousedown="onBodyMouseDown();">
<!-- Begin Popups -->
<div class="Element801" id="popup00215">
<div class="Element800">
<div class="Element14">
链接</div>
<div class="Element11">
<div class="Element10">
<a href="00925.html" target="topic">主题</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, 'popup00215');"><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="00030.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><img src="btn_up_d.gif" border="0" alt="Up" title="Up"><a href="00038.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">
第十二章 随机约束</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="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">
主题 </div></td><td class="Element204" valign="top" width="50%">
<div class="Element205">
描述 </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00038.html" target="topic">12.1 简介（一般信息）</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
约束驱动的测试生成方法使得用户能够自动地为功能验证产生测试。随机测试比一个传统的、直接的测试方法更有效率。通过指定约束，我们可以很容易地为难于到达的边界条件产生测试。SystemVerilog允许用户以一种紧凑、明了的方式指定约束。约束接下来会被一个求解器处理，这个求解器用来产生满足约束的随机值。<br><br>典型情况下，随机约束在一个面向对象的数据抽象之上指定。它将需要被随机化的数据建模成包含随机变量和用户定义约束的对象。约束确定了可以被赋值给随机变量的有效值。对象很适合于表示复杂的集合数据类型以及诸如以太网包之类的协议。<br><br>第<a href="00063.html" target="topic">12.2节</a>提供了基于对象的随机化和约束编程的概述。本章余下的部分提供了有关随机变量、约束块、以及处理它们的机制的详细信息。 </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00063.html" target="topic">12.2 概述</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
本章介绍了在对象内产生随机激励的基本概念和用法。SystemVerilog使用一个面向对象的方法来为对象的成员变量赋随机值，它以用户定义的约束为准。例如： </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00064.html" target="topic">12.3 随机变量</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
类变量可以使用<span style="color: #0000FF">rand</span>和<span style="color: #0000FF">randc</span>类型修饰符关键字声明成随机的。<br><br>在一个类中声明随机变量的语法如下： </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00067.html" target="topic">12.4 约束块</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
随机变量的值通过由约束块声明的约束表达式来确定。像任务、函数和变量一样，随机块是类的成员。在一个类中，约束块的名字必须是唯一的。<br><br>声明约束块的语法如下： </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00080.html" target="topic">12.5 随机化方法</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
</div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00084.html" target="topic">12.6 内联约束 — randomize() with</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
通过使用<span style="color: #0000FF">randomize</span><span style="color: #800080">()</span>...<span style="color: #0000FF">with</span>结构，用户可以在<span style="color: #0000FF">randomize</span><span style="color: #800080">()</span>方法的调用点上声明内联约束。这些额外的约束与对象约束一起应用。<br><br><span style="color: #0000FF">randomize</span><span style="color: #800080">()</span>...<span style="color: #0000FF">with</span>的语法如下： </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00085.html" target="topic">12.7 使用rand_mode()关闭随机变量</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
<span style="color: #0000FF">rand_mode</span><span style="color: #800080">()</span>可以用来控制激活或关闭一个随机变量。当一个随机变量处于未激活状态的时候，这个随机变量就好像没有使用<span style="color: #0000FF">rand</span>或<span style="color: #0000FF">randc</span>声明一样。未激活的随机变量不会被<span style="color: #0000FF">rand_mode</span><span style="color: #800080">()</span>方法随机化，并且它们的值会被求解器当作状态变量。所有的随机变量最初都是激活的。<br><br><span style="color: #0000FF">rand_mode</span><span style="color: #800080">()</span>方法的语法如下： </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
<a href="00086.html" target="topic">12.8 使用constraint_mode()控制约束</a> </div></td><td class="Element206" valign="top" width="50%">
<div class="Element207">
<span style="color: #0000FF">constraint_mode</span><span style="color: #800080">()</span>方法可以用来控制激活或关闭一个约束。当约束处于未激活（关闭）状态时，它不会被<span style="color: #0000FF">randomize</span><span style="color: #800080">()</span>方法所考虑。所有的约束最初都是激活的。<br><br><span style="color: #0000FF">constraint_mode</span><span style="color: #800080">()</span>方法的语法如下： </div></td></tr><tr>
<td class="Element202" valign="top" width="50%">
<div class="Element203">
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -