Add regression tests for packed scoped continuous array assign

Check that continuous array assignments from package scoped identifiers are
supported.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2022-12-30 10:25:39 -08:00
parent e88f9c52ea
commit f42bb35c3e
3 changed files with 31 additions and 0 deletions

View File

@ -0,0 +1,29 @@
// Check that continuous array assignments from package scoped identifiers are
// supported.
package P;
reg [3:0] y[2];
task init;
y[0] = 1;
y[1] = 2;
endtask
endpackage
module test;
import P::init;
wire [3:0] x[2];
assign x = P::y;
initial begin
init();
if (x[0] === 1 && x[1] === 2) begin
$display("PASSED");
end else begin
$display("FAILED");
end
end
endmodule

View File

@ -685,6 +685,7 @@ sv_port_default11 normal,-g2009 ivltests
sv_port_default12 normal,-g2009 ivltests
sv_port_default13 CE,-g2009 ivltests
sv_port_default14 CE,-g2009 ivltests
sv_ps_array_cassign normal,-g2005-sv ivltests
sv_ps_function1 normal,-g2009 ivltests
sv_ps_function2 normal,-g2009 ivltests
sv_ps_function3 normal,-g2009 ivltests

View File

@ -264,6 +264,7 @@ sv_array_cassign2 CE,-g2005-sv ivltests
sv_array_cassign3 CE,-g2005-sv ivltests
sv_array_cassign4 CE,-g2005-sv ivltests
sv_array_cassign5 CE,-g2005-sv ivltests
sv_ps_array_cassign CE,-g2005-sv ivltests
sv_unpacked_port CE,-g2009 ivltests
sv_unpacked_port2 CE,-g2009,-pallowsigned=1 ivltests
sv_unpacked_wire CE,-g2009 ivltests