篇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>。