diff --git a/ivtest/ivltests/sv_ps_array_cassign.v b/ivtest/ivltests/sv_ps_array_cassign.v new file mode 100644 index 000000000..8934cedee --- /dev/null +++ b/ivtest/ivltests/sv_ps_array_cassign.v @@ -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 diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list index cc5a8ec25..99891f485 100644 --- a/ivtest/regress-sv.list +++ b/ivtest/regress-sv.list @@ -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 diff --git a/ivtest/regress-vlog95.list b/ivtest/regress-vlog95.list index 76d299369..df356d939 100644 --- a/ivtest/regress-vlog95.list +++ b/ivtest/regress-vlog95.list @@ -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