diff options
Diffstat (limited to 'tests/simple/functions01.sv')
| -rw-r--r-- | tests/simple/functions01.sv | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/tests/simple/functions01.sv b/tests/simple/functions01.sv index e36d6a764..d7ce2326e 100644 --- a/tests/simple/functions01.sv +++ b/tests/simple/functions01.sv @@ -1,8 +1,8 @@ module functions01; -wire [3:0]x; -wire [3:0]y[0:5]; -wire [3:0]z[0:5][0:7]; +wire [5:2]x; +wire [3:0]y[2:7]; +wire [3:0]z[7:2][2:9]; //wire [$size(x)-1:0]x_size; //wire [$size({x, x})-1:0]xx_size; @@ -13,7 +13,14 @@ assert property ($size(x) == 4); assert property ($size({3{x}}) == 3*4); assert property ($size(y) == 6); assert property ($size(y, 1) == 6); -assert property ($size(y, 2) == 4); +assert property ($size(y, (1+1)) == 4); + +assert property ($size(z) == 6); +assert property ($size(z, 1) == 6); +assert property ($size(z, 2) == 8); +assert property ($size(z, 3) == 4); +// This should trigger an error if enabled (it does). +//assert property ($size(z, 4) == 4); //wire [$bits(x)-1:0]x_bits; //wire [$bits({x, x})-1:0]xx_bits; @@ -22,5 +29,4 @@ assert property ($bits(x) == 4); assert property ($bits(y) == 4*6); assert property ($bits(z) == 4*6*8); - endmodule |