Randomization result with and without (solve x before y)

SystemVerilog
,
8

Revisiting an old thread:
If I rewrite the constraint in the original post and add a distribution on ‘kind’ variable. How would it work with and without ‘solve kind before len’ ? Would there be an implicit ordering enforced in simulator to satisfy distribution on ‘kind’?


constraint pkt_constraint1 {
    kind dist {SHORT:=70, MED:=20, and LONG:=10};
    (kind==SHORT)-> (len <5);
    (kind==MED)  -> (len inside {[5:9]});
    (kind==LONG) -> (len >= 10); 
}