From 6b5d7a36955e8f3bd0e0fde2e095c98aed438b51 Mon Sep 17 00:00:00 2001 From: Martin Whitaker Date: Tue, 12 Apr 2022 16:59:41 +0100 Subject: [PATCH] Add regression test for br_gh672. --- ivtest/ivltests/br_gh672.v | 28 ++++++++++++++++++++++++++++ ivtest/regress-sv.list | 1 + ivtest/regress-vlog95.list | 1 + 3 files changed, 30 insertions(+) create mode 100644 ivtest/ivltests/br_gh672.v 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 15ea67e72..56a625bd2 100644 --- a/ivtest/regress-sv.list +++ b/ivtest/regress-sv.list @@ -209,6 +209,7 @@ br_gh556 normal,-g2009 ivltests br_gh568 normal,-g2009 ivltests br_gh661a normal,-g2009 ivltests br_gh661b 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 b70b1bd66..cda5e1b5b 100644 --- a/ivtest/regress-vlog95.list +++ b/ivtest/regress-vlog95.list @@ -431,6 +431,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