在SystemVerilog中，約束一般分為兩種：一種稱之為“硬約束hard constraint”，這種也是我們經常使用到的約束方式，還有另外一種稱之為“軟約束soft constraint”，那么這個“軟約束”是如何使用產生約束呢？本文將通過示例說明“軟約束”的使用方法和注意事項。

“軟約束”之所以“軟”主要是因為“軟約束”提供給了用戶更多的自適應性，用戶可以通過各種其他約束方式實現對于“軟約束”的各種蹂躪。一般情況下，用戶使用“軟約束”實現默認約束的設置，當有新的約束或者更高優先級的約束時，盡管此時新的約束可能與“軟約束”設置約束沖突，但是也不會產生任何warning，但是同樣的約束沖突對于“硬約束”是無法忍受的，如下例。

【示例】“硬約束”約束沖突

【仿真結果】

示例中采用的是“硬約束”，因為定義在類中的約束與隨機時指定的內嵌約束“矛盾”，所以導致約束解析器解析隨機失敗，即“硬約束”要求所有相關的約束條件不能互相矛盾，否則將會隨機失敗。同樣的示例，如果我們采用“軟約束”結果就不一樣了，如下例。

【示例】

【仿真結果】

從仿真結果可以看到，在類中對變量dat_length進行約束時通過關鍵字“soft”指定當前約束為“軟約束”，前類的對象隨機時指定內嵌約束進行約束時，原來在類中通過“soft”指定的隨機約束會被隨機時指定的內嵌約束overriden，所以最終的隨機結果dat_length為64，并且解析器也不會產生error或者warning。

除了上例這種“軟約束”與“硬約束”交叉使用以外，在SystemVerilog中約束可以設置的方式很多，并且會存在各種約束比“軟硬”的情況，為此，下面我們將通過各種交叉使用情況學習“軟約束”到底有多“軟”。

【示例】類中使用“軟約束”，隨機時使用內嵌“軟約束”

【仿真結果】

從仿真結果可以看到，類中使用約束塊定義了“軟約束”，在對象隨機時通過內嵌約束又指定了新的“軟約束”，并且兩處“軟約束”并無交集，但是仿真結果中原有類中定義的約束塊并沒有起作用，起作用的是對象隨機時指定的“軟約束”，即內嵌約束中的“軟約束”優先級高于類中約束塊中定義的“軟約束”，其取值范圍可示意為下圖。

【示例】類中使用“硬約束”，隨機時使用內嵌“軟約束”，并且約束無交集

【仿真結果】

示例中，類中約束塊中采用了“硬約束”，對象隨機內嵌約束中使用了“軟約束”，并且“軟約束”與“硬約束”無交集，從仿真結果可以看出，雖然內嵌約束在使用順序上晚于“硬約束”，但是此時“軟約束”并沒有起作用，即“軟約束”優先級低于“硬約束”，其取值范圍可示意為下圖。

【示例】類中使用“硬約束”，隨機時使用內嵌“軟約束”，并且約束有交集

【仿真結果】

示例中，當“硬約束”和“軟約束”同時有效時，此時進行隨機的數值范圍為“硬約束”和“軟約束”的交集，其取值范圍可示意為下圖。

通過上述幾個示例，可以看到當同時存在“硬約束”和“軟約束”時，“硬約束”的優先級更高，并且形成了對于“軟約束”的碾壓。當“硬約束”和“軟約束”有交集時去兩者交集，當“硬約束”和“軟約束”無交集時，“硬約束”有效，“軟約束”無效。上述示例是“硬約束”和“軟約束”之間的關系，那么要是存在一堆“軟約束”時，到底哪個約束或者哪幾個約束會起作用呢？我們看下面的示例。

【示例】同一個類中存在多個“軟約束”，且約束集無交集

【仿真結果】

示例中，在packet的內部定義了兩個約束塊，并且兩個約束塊沒有交集，此時最終的仿真結果可以看出來取值范圍受第二個約束塊約束，即在相同的作用域內，如果有多個“軟約束”，且約束塊無交集時，那么最后一個“軟約束”具有最高優先級，起決定作用，其取值范圍可示意為下圖。

【示例】同一個類中存在多個“軟約束”，且約束集有交集

【仿真結果】

示例中，在packet的內部定義了兩個約束塊，并且兩個約束塊有交集，此時最終的仿真結果可以看出來取值范圍受二個約束塊的交集約束，即在相同的作用域內，且約束塊有交集時，那么取值范圍由兩個“軟約束”的交集決定，其取值范圍可示意為下圖。

因為內嵌約束實際上相當于類本身的拓展約束，所以如果類本身和內嵌約束都是用了“軟約束”時，其作用效果也分為兩種情況，第一種是有交集，此時隨機變量的最終約束范圍由多個約束塊的交集決定；第二種是無交集，此時隨機變量的最終約束范圍由最后一次定義的“軟約束”決定，即由內嵌約束快中的“軟約束”決定。

上述示例都是針對SystemVerilog內嵌的數據類型進行定義的，如果隨機變量使用戶定義的類呢？請看下面示例。

【示例】

【仿真結果】

示例中，A和B都對其中元素進行了“軟約束”，在C中對于A和B的兩個句柄指向對象的元素再次進行“軟約束”，當Cobj指向的對象在隨機化時，此時Aobj和Bobj指向對象中的元素不受類A和B中定義的約束塊中“軟約束”影響，此時Aobj和Bobj僅受其所在類中約束塊的影響，即類中對于其元素的“軟約束”的優先級高于元素本身定義時指定的“軟約束”。但是如果A和B本身對于其中元素采用的是“硬約束”，那么此時C中的“軟約束”也將給“硬約束”讓路。

通過上述的示例，soft約束在某種程度上提供了對于隨機變量的默認約束，當有其他約束存在時，soft約束將會按照一定的優先級規律受到影響，甚至被overriden，具體可以總結如下：

“軟約束”可以用于設置默認約束，并且同一個類中的多個“軟約束”之間可以沒有交集；

同一個類中對于某個隨機變量的多個“軟約束”，如果這些約束沒有交集，那么最終有效的是將是距離調用randomize()最近的“軟約束”；

類中使用“軟約束”，隨機時使用了內嵌“軟約束”，內嵌約束的優先級高于類中定義時指定的“軟約束”；

某個隨機變量的“軟約束”優先級低于其“硬約束”；

當“硬約束”和“軟約束”同時有效時且有交集，此時進行隨機的數值范圍為“硬約束”和“軟約束”交集；

在父類和子類中對于某個隨機變量都進行了約束，則子類約束優先級高于父類中的優先級；

當A類作為B類的成員，那么A類中的“軟約束”優先級低于B中“軟約束”；

綜上所述，“軟約束”可用于設置默認約束，優先級低于“硬約束”，同樣的“軟約束”又根據其編寫和調用的順序優先級逐漸提高，最底層的“軟約束”最“軟”，整個約束的關系如下圖所示。

編輯：黃飛

?