diff --git a/ivtest/ivltests/br_gh672.v b/ivtest/ivltests/br_gh672.v new file mode 100644 index 000000000..2da239d6c --- /dev/null +++ b/ivtest/ivltests/br_gh672.v @@ -0,0 +1,28 @@ +module top; + + logic clk = 0; + int cnt = 0; + + always @(posedge clk) begin + fork begin + #(10*2); // Wait 10 clock periods + cnt++; + end + join_none + end + + initial begin + $display("Starting test"); + repeat (100) begin + #1 clk = 1; + #1 clk = 0; + end + #(10*2); // Wait 10 clock periods + $display("cnt = %0d", cnt); + if (cnt === 100) + $display("PASSED"); + else + $display("FAILED"); + $finish(0); + end +endmodule diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list index 7fd724239..4abd0cee4 100644 --- a/ivtest/regress-sv.list +++ b/ivtest/regress-sv.list @@ -204,6 +204,7 @@ br_gh540 normal,-g2009 ivltests br_gh553 normal,-g2009 ivltests br_gh556 normal,-g2009 ivltests br_gh568 normal,-g2009 ivltests +br_gh672 normal,-g2009 ivltests br_ml20171017 normal,-g2009 ivltests br_ml20180227 CE,-g2009 ivltests br_ml20180309a normal,-g2009 ivltests diff --git a/ivtest/regress-vlog95.list b/ivtest/regress-vlog95.list index a6e23db82..5474e56f1 100644 --- a/ivtest/regress-vlog95.list +++ b/ivtest/regress-vlog95.list @@ -404,6 +404,7 @@ br_gh368 CE,-g2009 ivltests # join_* br_gh412 CE,-g2009 ivltests # queues br_gh414 CE,-g2009,-pallowsigned=1 ivltests # strings br_gh436 CE,-g2012,-pallowsigned=1 ivltests # queues/strings +br_gh672 CE,-g2009 ivltests # join_none br_mw20200501 CE,-g2009 ivltests # queues disable_fork_cmd CE,-g2009 ivltests # disable fork and join_* enum_next CE,-g2009,-pallowsigned=1 ivltests # enum