Add regression test for issue #732.

This commit is contained in:
Martin Whitaker 2022-08-24 15:38:40 +01:00
parent 2ceb90b95e
commit c7cdc6c230
3 changed files with 45 additions and 0 deletions

View File

@ -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

View File

@ -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

View File

@ -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