riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Corrected tests for data and array queries on struct/union item expressions

This commit is contained in:
Dag Lem 2023-02-15 12:36:29 +01:00
parent c1e12877f0
commit f8219289b2
1 changed files with 77 additions and 72 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

149
tests/svtypes/struct_sizebits.sv
View File

@ -21,87 +21,92 @@ struct packed {
//wire [$size(s.sy.y)-1:0]y_size;
//wire [$size(s.sz.z)-1:0]z_size;
assert property ($size(s) == $size(s.t) + $size(s.x) + $size(s.sy) + $size(s.sz));
assert property ($size(s) == 1 + 4 + 6*4 + 6*8*4);
assert property ($size(t) == 1);
assert property ($size(s.x) == 4);
assert property ($size({3{s.x}}) == 3*4);
assert property ($size(s.sy.y) == 6);
assert property ($size(s.sy.y, 1) == 6);
assert property ($size(s.sy.y, (1+1)) == 4);
assert property ($size(s.sy.y[2], 1) == 4);
// This is unsupported at the moment
//assert property ($size(s.sy.y[2][1], 1) == 1);
assert property ($size(s.sz.z) == 6);
assert property ($size(s.sz.z, 1) == 6);
assert property ($size(s.sz.z, 2) == 8);
assert property ($size(s.sz.z, 3) == 4);
assert property ($size(s.sz.z[3], 1) == 8);
assert property ($size(s.sz.z[3][3], 1) == 4);
// This is unsupported at the moment
//assert property ($size(s.sz.z[3][3][3], 1) == 1);
// This should trigger an error if enabled (it does).
//assert property ($size(s.sz.z, 4) == 4);
//wire [$bits(s.x)-1:0]x_bits;
//wire [$bits({s.x, s.x})-1:0]xx_bits;
assert property ($bits(t) == 1);
assert property ($bits(s.x) == 4);
assert property ($bits(s.sy.y) == 4*6);
assert property ($bits(s.sz.z) == 4*6*8);
always_comb begin
assert ($size(s) == $size(s.t) + $size(s.x) + $size(s.sy) + $size(s.sz));
assert ($size(s) == 1 + 4 + 6*4 + 6*8*4);
assert property ($high(s.x) == 5);
assert property ($high(s.sy.y) == 7);
assert property ($high(s.sy.y, 1) == 7);
assert property ($high(s.sy.y, (1+1)) == 3);
assert ($size(s.t) == 1);
assert ($size(s.x) == 4);
`ifndef VERIFIC
assert ($size({3{s.x}}) == 3*4);
`endif
assert ($size(s.sy.y) == 6);
assert ($size(s.sy.y, 1) == 6);
assert ($size(s.sy.y, (1+1)) == 4);
assert ($size(s.sy.y[2], 1) == 4);
// This is unsupported at the moment
// assert ($size(s.sy.y[2][1], 1) == 1);
assert property ($high(s.sz.z) == 7);
assert property ($high(s.sz.z, 1) == 7);
assert property ($high(s.sz.z, 2) == 9);
assert property ($high(s.sz.z, 3) == 4);
assert property ($high(s.sz.z[3]) == 9);
assert property ($high(s.sz.z[3][3]) == 4);
assert property ($high(s.sz.z[3], 2) == 4);
assert ($size(s.sz.z) == 6);
assert ($size(s.sz.z, 1) == 6);
assert ($size(s.sz.z, 2) == 8);
assert ($size(s.sz.z, 3) == 4);
assert ($size(s.sz.z[3], 1) == 8);
assert ($size(s.sz.z[3][3], 1) == 4);
// This is unsupported at the moment
// assert ($size(s.sz.z[3][3][3], 1) == 1);
// This should trigger an error if enabled (it does).
// assert ($size(s.sz.z, 4) == 4);
assert property ($low(s.x) == 2);
assert property ($low(s.sy.y) == 2);
assert property ($low(s.sy.y, 1) == 2);
assert property ($low(s.sy.y, (1+1)) == 0);
assert ($bits(s.t) == 1);
assert ($bits(s.x) == 4);
assert ($bits(s.sy.y) == 4*6);
assert ($bits(s.sz.z) == 4*6*8);
assert property ($low(s.sz.z) == 2);
assert property ($low(s.sz.z, 1) == 2);
assert property ($low(s.sz.z, 2) == 2);
assert property ($low(s.sz.z, 3) == 1);
assert property ($low(s.sz.z[3]) == 2);
assert property ($low(s.sz.z[3][3]) == 1);
assert property ($low(s.sz.z[3], 2) == 1);
assert ($high(s.x) == 5);
assert ($high(s.sy.y) == 7);
assert ($high(s.sy.y, 1) == 7);
assert ($high(s.sy.y, (1+1)) == 3);
assert property ($left(s.x) == 5);
assert property ($left(s.sy.y) == 2);
assert property ($left(s.sy.y, 1) == 2);
assert property ($left(s.sy.y, (1+1)) == 3);
assert ($high(s.sz.z) == 7);
assert ($high(s.sz.z, 1) == 7);
assert ($high(s.sz.z, 2) == 9);
assert ($high(s.sz.z, 3) == 4);
assert ($high(s.sz.z[3]) == 9);
assert ($high(s.sz.z[3][3]) == 4);
assert ($high(s.sz.z[3], 2) == 4);
assert property ($left(s.sz.z) == 7);
assert property ($left(s.sz.z, 1) == 7);
assert property ($left(s.sz.z, 2) == 2);
assert property ($left(s.sz.z, 3) == 1);
assert property ($left(s.sz.z[3]) == 2);
assert property ($left(s.sz.z[3][3]) == 1);
assert property ($left(s.sz.z[3], 2) == 1);
assert ($low(s.x) == 2);
assert ($low(s.sy.y) == 2);
assert ($low(s.sy.y, 1) == 2);
assert ($low(s.sy.y, (1+1)) == 0);
assert property ($right(s.x) == 2);
assert property ($right(s.sy.y) == 7);
assert property ($right(s.sy.y, 1) == 7);
assert property ($right(s.sy.y, (1+1)) == 0);
assert ($low(s.sz.z) == 2);
assert ($low(s.sz.z, 1) == 2);
assert ($low(s.sz.z, 2) == 2);
assert ($low(s.sz.z, 3) == 1);
assert ($low(s.sz.z[3]) == 2);
assert ($low(s.sz.z[3][3]) == 1);
assert ($low(s.sz.z[3], 2) == 1);
assert ($left(s.x) == 5);
assert ($left(s.sy.y) == 2);
assert ($left(s.sy.y, 1) == 2);
assert ($left(s.sy.y, (1+1)) == 3);
assert ($left(s.sz.z) == 7);
assert ($left(s.sz.z, 1) == 7);
assert ($left(s.sz.z, 2) == 2);
assert ($left(s.sz.z, 3) == 1);
assert ($left(s.sz.z[3]) == 2);
assert ($left(s.sz.z[3][3]) == 1);
assert ($left(s.sz.z[3], 2) == 1);
assert ($right(s.x) == 2);
assert ($right(s.sy.y) == 7);
assert ($right(s.sy.y, 1) == 7);
assert ($right(s.sy.y, (1+1)) == 0);
assert ($right(s.sz.z) == 2);
assert ($right(s.sz.z, 1) == 2);
assert ($right(s.sz.z, 2) == 9);
assert ($right(s.sz.z, 3) == 4);
assert ($right(s.sz.z[3]) == 9);
assert ($right(s.sz.z[3][3]) == 4);
assert ($right(s.sz.z[3], 2) == 4);
end
assert property ($right(s.sz.z) == 2);
assert property ($right(s.sz.z, 1) == 2);
assert property ($right(s.sz.z, 2) == 9);
assert property ($right(s.sz.z, 3) == 4);
assert property ($right(s.sz.z[3]) == 9);
assert property ($right(s.sz.z[3][3]) == 4);
assert property ($right(s.sz.z[3], 2) == 4);
endmodule