aboutsummaryrefslogtreecommitdiffstats
path: root/tests/svtypes
diff options
context:
space:
mode:
authorclairexen <claire@symbioticeda.com>2020-09-17 18:27:05 +0200
committerGitHub <noreply@github.com>2020-09-17 18:27:05 +0200
commitf176bd7778bff924b1d74b3ea8208ff019a9cb95 (patch)
treee7363dfa1937d602993999f3bef1c2d453fc69d9 /tests/svtypes
parent9e937961dc026751f8961dfff12aa50411750070 (diff)
parent6e78f3a197509a12bdd5dc09244f31f13b8321fc (diff)
downloadyosys-f176bd7778bff924b1d74b3ea8208ff019a9cb95.tar.gz
yosys-f176bd7778bff924b1d74b3ea8208ff019a9cb95.tar.bz2
yosys-f176bd7778bff924b1d74b3ea8208ff019a9cb95.zip
Merge pull request #2329 from antmicro/arrays-fix-multirange-size
Rewrite multirange arrays sizes [n] as [n-1:0]
Diffstat (limited to 'tests/svtypes')
-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