aboutsummaryrefslogtreecommitdiffstats
path: root/tests/svtypes/typedef_param.sv
diff options
context:
space:
mode:
Diffstat (limited to 'tests/svtypes/typedef_param.sv')
-rw-r--r--tests/svtypes/typedef_param.sv22
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/svtypes/typedef_param.sv b/tests/svtypes/typedef_param.sv
new file mode 100644
index 000000000..ddbd471e0
--- /dev/null
+++ b/tests/svtypes/typedef_param.sv
@@ -0,0 +1,22 @@
+`define STRINGIFY(x) `"x`"
+`define STATIC_ASSERT(x) if(!(x)) $error({"assert failed: ", `STRINGIFY(x)})
+
+module top;
+
+ typedef logic [1:0] uint2_t;
+ typedef logic signed [3:0] int4_t;
+ typedef logic signed [7:0] int8_t;
+ typedef (int8_t) char_t;
+
+ parameter (uint2_t) int2 = 2'b10;
+ localparam (int4_t) int4 = -1;
+ localparam (int8_t) int8 = int4;
+ localparam (char_t) ch = int8;
+
+
+ `STATIC_ASSERT(int2 == 2'b10);
+ `STATIC_ASSERT(int4 == 4'b1111);
+ `STATIC_ASSERT(int8 == 8'b11111111);
+ `STATIC_ASSERT(ch == 8'b11111111);
+
+endmodule