A constraint is a restriction on something whereas something can be constrained to be within, or to comply with, a constraint . ... <看更多>

... <看更多>

You want to use the inside operator. class try; rand bit [31:0] w_addr; rand bit [31:0] r_addr; bit [31:0] ua[$]; constraint unique_addr_c{ ua.size() >0 ... ... <看更多>