aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorLukasz Dalek <ldalek@antmicro.com>2020-08-03 15:34:43 +0200
committerLukasz Dalek <ldalek@antmicro.com>2020-08-03 15:34:55 +0200
commit6e78f3a197509a12bdd5dc09244f31f13b8321fc (patch)
treea4af25d2eaef1d75812f092cf999ed3c2195119a /tests
parent83ddc62034dc5c7046a1ba7c5666e868b8346538 (diff)
downloadyosys-6e78f3a197509a12bdd5dc09244f31f13b8321fc.tar.gz
yosys-6e78f3a197509a12bdd5dc09244f31f13b8321fc.tar.bz2
yosys-6e78f3a197509a12bdd5dc09244f31f13b8321fc.zip
Test multirange (unpacked) arrays size
Signed-off-by: Lukasz Dalek <ldalek@antmicro.com>
Diffstat (limited to 'tests')
-rw-r--r--tests/svtypes/multirange_array.sv16
1 files changed, 16 insertions, 0 deletions
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