Constrained-Random Verification

Generate random but legal stimulus with constraints to find corner cases humans miss.

Advanced

class pkt; rand bit [7:0] len; constraint c { len inside {[1:64]}; } endclass

Spotted a mistake or want to add detail? Suggest an improvement — Content Contributors' edits are reviewed by editors before they go live.

Discussion (0)