From: Lukasz Dalek <ldalek@antmicro.com>
Date: Mon, 3 Aug 2020 13:34:43 +0000 (+0200)
Subject: Test multirange (unpacked) arrays size
X-Git-Tag: working-ls180~273^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6e78f3a197509a12bdd5dc09244f31f13b8321fc;p=yosys.git

Test multirange (unpacked) arrays size

Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
---

diff --git a/tests/svtypes/multirange_array.sv b/tests/svtypes/multirange_array.sv
new file mode 100644
index 000000000..be0d3dfc2
--- /dev/null
+++ b/tests/svtypes/multirange_array.sv
@@ -0,0 +1,16 @@
+// test for multirange arrays
+
+`define STRINGIFY(x) `"x`"
+`define STATIC_ASSERT(x) if(!(x)) $error({"assert failed: ", `STRINGIFY(x)})
+
+module top;
+
+	logic a [3];
+	logic b [3][5];
+	logic c [3][5][7];
+
+	`STATIC_ASSERT($bits(a) == 3);
+	`STATIC_ASSERT($bits(b) == 15);
+	`STATIC_ASSERT($bits(c) == 105);
+
+endmodule