sv: Improve tests

Signed-off-by: David Shah <dave@ds0.me>

diff --git a/tests/svtypes/typedef_memory.sv b/tests/svtypes/typedef_memory.sv
index c848c3287e40fc87ea967eb441f8bfe07aabf0d3..37e63c1d00140f576a47afeffaea0aa3f29f2e9b 100644 (file)
--- a/tests/svtypes/typedef_memory.sv
+++ b/tests/svtypes/typedef_memory.sv
@@ -7,4 +7,4 @@ module top(input [3:0] addr, wdata, input clk, wen, output reg [3:0] rdata);
                if (wen) mem[addr] <= wdata;
                rdata <= mem[addr];
        end
-endmodule
\ No newline at end of file
+endmodule

diff --git a/tests/svtypes/typedef_memory.ys b/tests/svtypes/typedef_memory.ys
index bc1127dc5f774d05278780e32a19dae484a73f4a..d0b8cf5bf486ab1db5ed19ddbb8a11497720269b 100644 (file)
--- a/tests/svtypes/typedef_memory.ys
+++ b/tests/svtypes/typedef_memory.ys
@@ -1,3 +1,3 @@
 read -sv typedef_memory.sv
 prep -top top
-select -assert-count 1 t:$mem r:SIZE=16 %i r:WIDTH=4 %i
\ No newline at end of file
+select -assert-count 1 t:$mem r:SIZE=16 %i r:WIDTH=4 %i

diff --git a/tests/svtypes/typedef_memory_2.sv b/tests/svtypes/typedef_memory_2.sv
index 1e8abb155213f3092d142a73f87cf4b3e022c6db..6d65131db21b01372076e053c3df0805705b73f5 100644 (file)
--- a/tests/svtypes/typedef_memory_2.sv
+++ b/tests/svtypes/typedef_memory_2.sv
@@ -7,4 +7,4 @@ module top(input [3:0] addr, wdata, input clk, wen, output reg [3:0] rdata);
                if (wen) mem[addr] <= wdata;
                rdata <= mem[addr];
        end
-endmodule
\ No newline at end of file
+endmodule

diff --git a/tests/svtypes/typedef_memory_2.ys b/tests/svtypes/typedef_memory_2.ys
index 571e2891487924d35065fe94a652820fa6dd6789..0997beeea5b7a675b96dfe5a60406ce835cf795d 100644 (file)
--- a/tests/svtypes/typedef_memory_2.ys
+++ b/tests/svtypes/typedef_memory_2.ys
@@ -1,4 +1,4 @@
 read -sv typedef_memory_2.sv
 prep -top top
 dump
-select -assert-count 1 t:$mem r:SIZE=16 %i r:WIDTH=4 %i
\ No newline at end of file
+select -assert-count 1 t:$mem r:SIZE=16 %i r:WIDTH=4 %i

diff --git a/tests/svtypes/typedef_package.sv b/tests/svtypes/typedef_package.sv
index 4aa22b6afabfe913580998efe4b6471529546b0c..bee88b7ae9e3883aeb4902145b100edc4efdb0e7 100644 (file)
--- a/tests/svtypes/typedef_package.sv
+++ b/tests/svtypes/typedef_package.sv
@@ -8,4 +8,4 @@ module top;
 
        always @* assert(a == 8'hAA);
 
-endmodule
\ No newline at end of file
+endmodule

diff --git a/tests/svtypes/typedef_param.sv b/tests/svtypes/typedef_param.sv
index 13a522f19889734bbf587d99b4f95d45dc8aa26f..d838dd828e35f6fd8f8954a8c39128cb714c4ca6 100644 (file)
--- a/tests/svtypes/typedef_param.sv
+++ b/tests/svtypes/typedef_param.sv
@@ -19,4 +19,4 @@ module top;
        `STATIC_ASSERT(int8 == 8'b11111111);
        `STATIC_ASSERT(ch   == 8'b11111111);
 
-endmodule
\ No newline at end of file
+endmodule

diff --git a/tests/svtypes/typedef_scopes.sv b/tests/svtypes/typedef_scopes.sv
new file mode 100644 (file)
index 0000000..340defb
--- /dev/null
+++ b/tests/svtypes/typedef_scopes.sv
@@ -0,0 +1,23 @@
+
+typedef logic [3:0] outer_uint4_t;
+
+module top;
+
+       outer_uint4_t u4_i = 8'hA5;
+       always @(*) assert(u4_i == 4'h5);
+
+       typedef logic [3:0] inner_type;
+       inner_type inner_i1 = 8'h5A;
+       always @(*) assert(inner_i1 == 4'hA);
+
+       if (1) begin: genblock
+               typedef logic [7:0] inner_type;
+               inner_type inner_gb_i = 8'hA5;
+               always @(*) assert(inner_gb_i == 8'hA5);
+       end
+
+       inner_type inner_i2 = 8'h42;
+       always @(*) assert(inner_i2 == 4'h2);
+
+
+endmodule

diff --git a/tests/svtypes/typedef_simple.sv b/tests/svtypes/typedef_simple.sv
index 0cf2c072cc53d05f5d8bff40df9f4664b822ce39..8f89910e5c97c520d3db5e5897f79caa7485e6ea 100644 (file)
--- a/tests/svtypes/typedef_simple.sv
+++ b/tests/svtypes/typedef_simple.sv
@@ -16,4 +16,4 @@ module top;
        always @* assert(int8 == 8'b11111111);
        always @* assert(ch   == 8'b11111111);
 
-endmodule
\ No newline at end of file
+endmodule