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 ...
確定! 回上一頁