Was ist Verifikation mit eingeschränkten Zufallsstimuli (Constrained Random)?

Verifikation, die zufällige Eingabewerte innerhalb der von der Spezifikation erlaubten Einschränkungen erzeugt und so breit auch Fälle abdeckt, an die Menschen nicht denken.

Japanische Bezeichnung: 制約付きランダム検証

Fachgebiet: HDL und Verifikation