From a460e0b31c7284fb71e6ffc18dd986ee2c2bbe80 Mon Sep 17 00:00:00 2001 From: Dag Lem Date: Wed, 23 Nov 2022 16:37:51 +0100 Subject: Tests for unpacked arrays in packed structs are for the Yosys frontend only --- tests/svtypes/struct_array.sv | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tests/svtypes') 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 -- cgit v1.2.3