diff options
author | Dag Lem <dag@nimrod.no> | 2022-11-23 16:37:51 +0100 |
---|---|---|
committer | Dag Lem <dag@nimrod.no> | 2022-11-23 16:37:51 +0100 |
commit | a460e0b31c7284fb71e6ffc18dd986ee2c2bbe80 (patch) | |
tree | b23e2f9066b2afa5343507983904aa03db129bd5 /tests/svtypes | |
parent | ddb12148e74ba898dcb3bc729db691090e1524a2 (diff) | |
download | yosys-a460e0b31c7284fb71e6ffc18dd986ee2c2bbe80.tar.gz yosys-a460e0b31c7284fb71e6ffc18dd986ee2c2bbe80.tar.bz2 yosys-a460e0b31c7284fb71e6ffc18dd986ee2c2bbe80.zip |
Tests for unpacked arrays in packed structs are for the Yosys frontend only
Diffstat (limited to 'tests/svtypes')
-rw-r--r-- | tests/svtypes/struct_array.sv | 4 |
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 |