Constraint random verification :

Directed Can only cover scenarios thought through planning High maintenance cost Works good
when condition space is finite No need of extensive coverage coding

Pure Random Need infinite compute cycles to cover all condition space Less user control. Simple to
build generator

Constrained Random High ramp up time to build smart test generators Need to identify and
implement Functional Coverage Deep User control. Complex Test generator Best balance between
engineer time and compute time Can have static and dynamic (during test run) randomness