Introducing constrained randomization in Verilator
antmicro.com