Abstract — Constrained random verification is a standard industry approach to test digital intellectual properties. Currently used randomization methods do not guarantee unique testcase with different ...

Gregory Tang and Rajat Bahl, AMD, Inc. Alex Wakefield and Padmaraj Ramachandran, Synopsys Inc. As microprocessor designs have grown considerably in complexity, the use of hand-written directed tests ...