From 9e37f4382e32ee5970f87f8ed71d7c559caf0e50 Mon Sep 17 00:00:00 2001 From: Lars-Peter Clausen Date: Tue, 29 Nov 2022 20:16:43 -0800 Subject: [PATCH] Add regression test for issue #793 Check that $signed/$unsigned works when being combinatorially assigned with a delay and the target of the function is a net without any drivers. Signed-off-by: Lars-Peter Clausen --- ivtest/ivltests/br_gh793.v | 17 +++++++++++++++++ ivtest/regress-vlg.list | 1 + 2 files changed, 18 insertions(+) create mode 100644 ivtest/ivltests/br_gh793.v diff --git a/ivtest/ivltests/br_gh793.v b/ivtest/ivltests/br_gh793.v new file mode 100644 index 000000000..897064c00 --- /dev/null +++ b/ivtest/ivltests/br_gh793.v @@ -0,0 +1,17 @@ +// Check that $signed/$unsigned works when being combinatorially assigned with a +// delay and the target of the function is a net without any drivers. + +module top (); + wire [7:0] a; + wire signed [7:0] b; + assign #1 b = $signed(a); + + initial begin + #10 + if (b === 8'hzz) begin + $display("PASSED"); + end else begin + $display("FAILED"); + end + end +endmodule diff --git a/ivtest/regress-vlg.list b/ivtest/regress-vlg.list index df929e4c1..c6c70a513 100644 --- a/ivtest/regress-vlg.list +++ b/ivtest/regress-vlg.list @@ -349,6 +349,7 @@ br_gh632b normal,-S ivltests br_gh632c normal ivltests br_gh674 normal ivltests br_gh732 normal ivltests gold=br_gh732.gold +br_gh793 normal ivltests br_ml20150315 normal ivltests gold=br_ml_20150315.gold br_ml20150321 CE ivltests br_mw20171108 normal ivltests