制約付きランダム検証란?

せいやくつきらんだむけんしょう

入力の値を仕様で許される範囲の条件の中でランダムに作り、人が思いつかない場合も含めて広く試す検証の方法。

일본어 명칭: 制約付きランダム検証

분야: HDL과 검증