篇15-内建系统函数与disable iff构造

1.内建系统函数

$onehot(expression)—检验表达式满足“one-hot”，换句话说，就是在任意给定的时钟沿，表达式只有一位为高。

$onehot0(expression)—检验表达式满足“zero one-hot”，换句话说，就是在任意给定的时钟沿，表达式只有一位为高或者没有任何一位为高。

$isunknown(expression)—检验表达式的任何位是否是X或者Z。

$countones(expression)—计算向量中为高的位的数量。

2.disable iff构造

(1) 在某些设计情况下，如果一些条件为真，则我们不想执行检验。这种情况下,可以使用disable iff语句。

(2) “disable iff”的基本语法为: disable iff (expression)  < property definition>。