Verificatiemethode waarbij ingangswaarden willekeurig worden gegenereerd binnen de door de specificatie toegestane voorwaarden, zodat breed wordt getest, ook in gevallen die een mens niet zou bedenken.
Japanse benaming: 制約付きランダム検証
“Constrained-random-verificatie” komt voor in 1 oefenvragen uit 1 onderwerpen, bijv. Hardwarebeschrijvingstalen en verificatie.
Vakgebied: Hardwarebeschrijvingstalen en verificatie
Antwoord: A. Ingangswaarden worden willekeurig gemaakt binnen het bereik en de combinatievoorwaarden (beperkingen) die de specificatie toestaat, zodat breed wordt getest, ook geval die een mens niet bedenkt
Met alleen door mensen bedachte tests (gerichte tests) worden gemakkelijk defecten in combinaties gemist die de ontwerper niet had voorzien. Bij constrained-random-verificatie worden beperkingen geschreven zoals 'het adres is een veelvoud van 4' of 'de lengte is 1 tot 256', en worden daarbinnen willekeurig ingangen gemaakt, zodat met alleen zinvolle ingangen veel gevallen worden uitgeprobeerd. Welke gevallen zijn getest wordt met coverage gemeten, en wat ontbreekt wordt aangevuld door beperkingen te wijzigen of met gerichte tests.
Bij constrained-random-verificatie worden beperkingen geschreven zoals 'het adres is een veelvoud van 4' of 'de lengte is 1 tot 256', en worden daarbinnen willekeurig ingangen gemaakt, zodat met alleen zinvolle ingangen veel gevallen worden uitgeprobeerd.
Welke uitspraak over beperkte willekeurige verificatie (con…SystemVerilog Asynchrone reset Blocking assignment Combinatorische lus (combinational loop) Gate-level-simulatie Generate-statement Hardwarebeschrijvingstaal (HDL) Lint Mealy-machine Non-blocking assignment