mirror of https://github.com/zachjs/sv2v.git
additional dimension query coverage
This commit is contained in:
parent
e6263d6caa
commit
b0b7962529
|
|
@ -41,6 +41,8 @@ module top;
|
|||
$display("args %b", $size(RamPair, 1'h1));
|
||||
$display("args %b", $size(RamPair, 1'd1));
|
||||
$display("args %b", $size(RamPair, 1'dx));
|
||||
$display("args %b", $size(RamPair, $bits(integer) - 31));
|
||||
$display("args %b", $size(integer, $bits(integer) - 31));
|
||||
|
||||
`EXHAUST(Ram);
|
||||
`EXHAUST(Ram[0]);
|
||||
|
|
@ -79,5 +81,10 @@ module top;
|
|||
`EXHAUST(type(ints_rev[0:1]));
|
||||
`EXHAUST(type(ints[2:1]));
|
||||
`EXHAUST(type(ints_rev[1:2]));
|
||||
|
||||
`EXHAUST(int)
|
||||
`EXHAUST(shortint)
|
||||
`EXHAUST(longint)
|
||||
`EXHAUST(time)
|
||||
end
|
||||
endmodule
|
||||
|
|
|
|||
|
|
@ -38,6 +38,8 @@ module top;
|
|||
$display("args %b", 2);
|
||||
$display("args %b", 2);
|
||||
$display("args %b", 1'bx);
|
||||
$display("args %b", 2);
|
||||
$display("args %b", 32);
|
||||
|
||||
`EXHAUST(Ram,
|
||||
0, 9,
|
||||
|
|
@ -181,5 +183,22 @@ module top;
|
|||
1, 2,
|
||||
31, 0,
|
||||
2, 1, 64)
|
||||
|
||||
`EXHAUST(int,
|
||||
31, 0,
|
||||
1'bx, 1'bx,
|
||||
1, 0, 32)
|
||||
`EXHAUST(shortint,
|
||||
15, 0,
|
||||
1'bx, 1'bx,
|
||||
1, 0, 16)
|
||||
`EXHAUST(longint,
|
||||
63, 0,
|
||||
1'bx, 1'bx,
|
||||
1, 0, 64)
|
||||
`EXHAUST(time,
|
||||
63, 0,
|
||||
1'bx, 1'bx,
|
||||
1, 0, 64)
|
||||
end
|
||||
endmodule
|
||||
|
|
|
|||
Loading…
Reference in New Issue