aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rw-r--r--tests/svtypes/struct_array.sv4
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/svtypes/struct_array.sv b/tests/svtypes/struct_array.sv
index e7d09b7c3..f69c4c577 100644
--- a/tests/svtypes/struct_array.sv
+++ b/tests/svtypes/struct_array.sv
@@ -1,6 +1,7 @@
// test for array indexing in structures
module top;
+
struct packed {
bit [5:0] [7:0] a; // 6 element packed array of bytes
bit [15:0] b; // filler for non-zero offset
@@ -80,6 +81,7 @@ module top;
always_comb assert(s3_b==80'hFC00_4200_0012_3400_FFFC);
+`ifndef VERIFIC
// Note that the tests below for unpacked arrays in structs rely on the
// fact that they are actually packed in Yosys.
@@ -166,4 +168,6 @@ module top;
end
always_comb assert(s6==80'hFC00_4200_0012_3400_FFFC);
+`endif
+
endmodule