Can a distribution value_range be a list?
Or is there way to achieve the same result using "dist"?
As shown by non-working example code, I try to do something like this:
bit [1:0] twobits;
assert(std::randomize(twobits) with {twobits dist {2'b10:=50, inside{2'b00,2'b11,2'b01;}:/50};} ); //INCORRECT
assert(std::randomize(twobits) with {twobits dist {2'b10:=50, [2'b00,2'b11,2'b01]:/50};} ); //INCORRECT
"18.5.4 Distribution" image snippet from IEEE_Std1800-2017 LRM attached.
Is there (isn't there) a way that value_range can be a list of choices, which