Abstract: Constrained random simulation is becoming the mainstream methodology to verify system-wide properties in functional verification. It is a must to develop a high-throughput constrained random ...