📄 00145.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN">
<html>
<head>
<title>17.11 声明特性</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', '00145.html');" onmousedown="onBodyMouseDown();">
<!-- Begin Popups -->
<div class="Element801" id="popup00349">
<div class="Element800">
<div class="Element14">
链接</div>
<div class="Element11">
<div class="Element10">
<a href="00868.html" target="topic">第十七章 断言</a>, <a href="00949.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, 'popup00349');"><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="00144.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="00868.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="00146.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.11 声明特性</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">
一个特性定义了设计的一个行为。一个特性可以作为一个假设、一个检查器或者一个覆盖率规范被用于验证。为了将这种行为用于验证，必须使用一个断言、假设或者覆盖语句。一个特性声明本身不会产生任何结果。 </p>
<p class="Element10">
</p>
<p class="Element10">
一个特性可以在下列结构中声明：
<ul class="Element631">
<li class="Element601">一个模块</li>
<li class="Element601">一个接口</li>
<li class="Element601">一个程序</li>
<li class="Element601">一个时钟控制块</li>
<li class="Element601">一个包</li>
<li class="Element601">一个编译单元作用域</li>
</ul>为了声明一个特性，我们可以使用如下所示的<strong><span style="color: #0000FF">property</span></strong>结构： </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00667');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00667"><pre class="Element12">concurrent_assertion_item_declaration ::= <span style="color: #008000">// 引用自附录A.2.10</span>
property_declaration
...
property_declaration ::=
<strong><span style="color: #FF0000">property</span></strong> property_identifier[<strong><span style="color: #FF0000">(</span></strong>[list_of_formals]<strong><span style="color: #FF0000">)</span></strong>]<strong><span style="color: #FF0000">;</span></strong>
{assertion_variable_declaration}
property_spec<strong><span style="color: #FF0000">;</span></strong>
<strong><span style="color: #FF0000">endproperty</span></strong> [<strong><span style="color: #FF0000">:</span></strong> property_identifier]
list_of_formals ::= formal_list_item{<strong><span style="color: #FF0000">,</span></strong> formal_list_item}
property_spec ::=
[clocking_event] [<strong><span style="color: #FF0000">disable</span></strong> <strong><span style="color: #FF0000">iff(</span></strong>expression_or_dist<strong><span style="color: #FF0000">)</span></strong>] property_expr
property_expr ::=
sequence_expr
| <strong><span style="color: #FF0000">(</span></strong>property_expr<strong><span style="color: #FF0000">)</span></strong>
| <strong><span style="color: #FF0000">not</span></strong> property_expr
| property_expr <strong><span style="color: #FF0000">or</span></strong> property_expr
| property_expr <strong><span style="color: #FF0000">and</span></strong> property_expr
| sequence_expr <strong><span style="color: #FF0000">|-></span></strong> property_expr
| sequence_expr <strong><span style="color: #FF0000">|=></span></strong> property_expr
| <strong><span style="color: #FF0000">if (</span></strong>expression_or_dist<strong><span style="color: #FF0000">)</span></strong> property_expr [<strong><span style="color: #FF0000">else</span></strong> property_expr]
| property_instance
| clocking_event property_expr
assertion_variable_declaration ::=
data_type list_of_variable_identifiers<strong><span style="color: #FF0000">;</span></strong>
property_instance::=
ps_property_identifier[<strong><span style="color: #FF0000">(</span></strong>[actual_arg_list]<strong><span style="color: #FF0000">)</span></strong>]</pre></div></div>
<p class="Element10" style="text-align: center">
<strong>语法17-14 — property结构的语法（摘录自附录A）</strong></p><p class="Element10">
</p>
<p class="Element10">
与序列声明一样，一个特性在声明的时候可以带有可选的形式参数。当一个特性被实例化的时候，实参可以被传递到特性。通过使用实参替代形参，实参使得特性得到了扩展。语义检查被执行医确保使用实参扩展的特性是合法的。 </p>
<p class="Element10">
</p>
<p class="Element10">
特性的计算结果要么为“真”要么为“假”。SystemVerilog中具有七种类型的特性：序列、否定、析取（逻辑和）、合取（逻辑积）、<strong><span style="color: #0000FF">if</span></strong>...<strong><span style="color: #0000FF">else</span></strong>、蕴含、实例化。 </p>
<p class="Element10">
</p>
<p class="Element10">
1) 当且仅当序列没有空匹配的时候，作为序列的特性才计算成“真”。有可能具有空匹配的序列不允许作为特性使用。因为当且仅当具有第一次匹配的时候才具有一次匹配，这样的一个特性的计算与隐含地传递它的<span class="Element146">sequence_expr</span>到<span class="Element146"><span style="color: #0000FF">first_match</span><span style="color: #800080">(</span>sequence_expr<span style="color: #800080">)</span></span>相同。只要能够确定<span class="Element146">sequence_expr</span>的一次匹配，特性的计算结果就被认为是“真”，并且对于该次计算尝试不要求其它的匹配。 </p>
<p class="Element10">
2) 如果一个特性具有下列的构成，那么它是一个否定。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00668');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00668"><pre class="Element12"><span style="color: #0000FF">not</span> property_expr</pre></div></div>
<p class="Element10">
对于该特性的每一次计算尝试，都具有一个<span class="Element146">property_expr</span>的计算尝试。关键字<strong><span style="color: #0000FF">not</span></strong>指出特性的计算返回底层的 <span class="Element146">property_expr</span>的计算结果的“非”。因此，如果<span class="Element146">property_expr</span>计算成“真”，那么<span class="Element146">not property_expr</span>计算为“假”；如果<span class="Element146">property_expr</span>计算成“”，那么<span class="Element146">property_expr</span>计算成“真”。 </p>
<p class="Element10">
3) 如果一个特性具有如下的构成，那么它就是一个析取。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00669');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00669"><pre class="Element12">property_expr1 <span style="color: #0000FF">or</span> property_expr2</pre></div></div>
<p class="Element10">
当且仅当<span class="Element146">property_expr1</span>和<span class="Element146">property_expr2</span>至少有一个被计算成“真”特性才被计算成“真”。 </p>
<p class="Element10">
4) 如果一个特性具有如下的格式，那么它就是一个合取。 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00670');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00670"><pre class="Element12">property_expr1 <span style="color: #0000FF">and</span> property_expr2</pre></div></div>
<p class="Element10">
当且仅当<span class="Element146">property_expr1</span>和<span class="Element146">property_expr2</span>都计算为“真”的时候该特性才被计算成“真”。 </p>
<p class="Element10">
5) 如果一个特性具有或者 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00671');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00671"><pre class="Element12"><span style="color: #0000FF">if</span> <span style="color: #800080">(</span>expression_or_dist<span style="color: #800080">)</span>
property_expr1</pre></div></div>
<p class="Element10">
或者 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00672');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00672"><pre class="Element12"><span style="color: #0000FF">if</span> <span style="color: #800080">(</span>expression_or_dist<span style="color: #800080">)</span>
property_expr1
<span style="color: #0000FF">else</span>
property_expr2</pre></div></div>
<p class="Element10">
的构成，那么它就是一个<strong><span style="color: #0000FF">if</span></strong>...<strong><span style="color: #0000FF">else</span></strong>。 </p>
<p class="Element10">
当且仅当或者<span class="Element146">expression_or_dist</span>计算成“假”或者<span class="Element146">property_expr1</span>计算成“真”的时候第一种格式的特性才被计算成“真”。对于第二种格式的特性，当且仅当<span class="Element146">expression_or_dist</span>计算成“真”并且<span class="Element146">property_expr1</span>计算成“真”，或者<span class="Element146">expression_or_dist</span>计算成“假”并且<span class="Element146">property_expr2</span>计算成“真”的时候它才被计算成“真”。 </p>
<p class="Element10">
6) 如果一个特性或者具有 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00673');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00673"><pre class="Element12">sequence_expr <span style="color: #800080">|-></span> property_expr</pre></div></div>
<p class="Element10">
或者具有 </p><div class="Element170">
<a href="#" onclick="CopyElementToClipboard('code00674');">Copy Code</a></div>
<div class="Element13"><div class="Element12" id="code00674"><pre class="Element12">sequence_expr <span style="color: #800080">|=></span> property_expr</pre></div></div>
<p class="Element10">
的格式，那么它就是一个蕴含。 </p>
<p class="Element10">
有关蕴含的含义将在<a href="00146.html" target="topic">17.11.1节</a>中讨论。 </p>
<p class="Element10">
7) 一个命名特性的实例可以被用作<span class="Element146">property_expr</span>或者<span class="Element146">property_spec</span>。通常，如果命名特性体property_spec能够被实例所替代，使用实参替代形式参数并产生一个合法的<span class="Element146">property_expr</span>或<span class="Element146">property_spec</span>，并忽略局部变量声明，那么这个实例就是合法的。因此，例如，如果一个命名特性的实例被用作任意特性构建操作符的一个<span class="Element146">property_expr</span>操作数，那么这个命名特性就不需要具有一个<strong><span style="color: #0000FF">disable iff</span></strong>子句。类似地，当一个命名特性在一个还调用了其它时钟事件的<span class="Element146">property_expr</span>或<span class="Element146">property_spec</span>中实例化的时候，这个命名特性中的时钟事件必须符合多时钟支持的规则。 </p>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -