From f42bb35c3e616f28ae9adae8e0235031c8d2b3a6 Mon Sep 17 00:00:00 2001 From: Lars-Peter Clausen Date: Fri, 30 Dec 2022 10:25:39 -0800 Subject: [PATCH] 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 --- ivtest/ivltests/sv_ps_array_cassign.v | 29 +++++++++++++++++++++++++++ ivtest/regress-sv.list | 1 + ivtest/regress-vlog95.list | 1 + 3 files changed, 31 insertions(+) create mode 100644 ivtest/ivltests/sv_ps_array_cassign.v 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