Self-adjusting constrained random stimulus generation using splitting evenness evaluation and XOR constraints