什麼是受限隨機驗證（Constrained random verification）
在規格允許範圍的條件內隨機產生輸入值，包含人想不到的情況在內，廣泛嘗試的驗證方法。
日文名稱: 制約付きランダム検証
這個名詞所屬的領域: 硬體描述語言與驗證
相關名詞
四值邏輯（Four-state logic） 同步重設（Synchronous reset） 回歸測試（Regression testing） 米利型（Mealy machine） 阻塞賦值（Blocking assignment） 非同步重設（Asynchronous reset） 非阻塞賦值（Nonblocking assignment） 非預期閂鎖（Unintended latch） 重設同步器（Reset synchronizer） 參考模型（Reference model）