Constraint solve order

[dave_59]

See Constrain random variable result to enumerated type - #6 by dave_59

and

Randomization result with and without (solve x before y)

Hi Experts, The below constraint in a packet determines the data length of the packet based on packet kind. eg: If packet kind is LONG then data length is greater that 10 bytes. typedef enum int {SHORT, MED, LONG} kind_e; rand kind_e kind; rand int unsigned len; rand bit [3:0] data[]; constraint pkt_constraint1 { (kind==SHORT)-> (len <5); (kind==MED) -> (len inside {[5:9]}); (kind==LONG) -> (len >= 10); } LRM says that the constraints are resolved parallel and (solve x befo…