diff --git a/ivtest/gold/br_gh732.gold b/ivtest/gold/br_gh732.gold new file mode 100644 index 000000000..ddc3d6174 --- /dev/null +++ b/ivtest/gold/br_gh732.gold @@ -0,0 +1,7 @@ + 0 x x x + 1000 0 x x + 1100 0 0 x + 1200 0 0 0 + 2000 1 0 0 + 2100 1 1 0 + 2200 1 1 1 diff --git a/ivtest/ivltests/br_gh732.v b/ivtest/ivltests/br_gh732.v new file mode 100644 index 000000000..1f219c683 --- /dev/null +++ b/ivtest/ivltests/br_gh732.v @@ -0,0 +1,37 @@ +`timescale 1ns/1ps + +module Buffer(output Y, input A); + + specparam Delay = 0.1; + + assign #Delay Y = A; + +endmodule + +module Buffer1(output Y, input A); + Buffer inst(.Y(Y), .A(A)); +endmodule + +module Buffer2(output Y, input A); + Buffer inst(.Y(Y), .A(A)); +endmodule + +`timescale 1ps/1ps + +module dut(); + +reg n1; +wire n2; +wire n3; + +Buffer1 b1(.A(n1), .Y(n2)); +Buffer2 b2(.A(n2), .Y(n3)); + +initial begin + $monitor("%t %b %b %b", $time, n1, n2, n3); + #1000 n1 = 0; + #1000 n1 = 1; + #1000 $finish(0); +end + +endmodule diff --git a/ivtest/regress-vlg.list b/ivtest/regress-vlg.list index b42886e66..dfaad21fa 100644 --- a/ivtest/regress-vlg.list +++ b/ivtest/regress-vlg.list @@ -348,6 +348,7 @@ br_gh632 normal ivltests br_gh632b normal,-S ivltests br_gh632c normal ivltests br_gh674 normal ivltests +br_gh732 normal ivltests gold=br_gh732.gold br_ml20150315 normal ivltests gold=br_ml_20150315.gold br_ml20150321 CE ivltests br_ml20150606 normal ivltests