diff --git a/ivtest/ivltests/real_delay_assign.v b/ivtest/ivltests/real_delay_assign.v new file mode 100644 index 000000000..a9d8c7231 --- /dev/null +++ b/ivtest/ivltests/real_delay_assign.v @@ -0,0 +1,20 @@ +// Check that blocking intra-assignment delays can assign real values. + +module test; + real r; + reg failed; + + initial begin + failed = 1'b0; + + r = #1 1.25; + if (r != 1.25) begin + $display("FAILED(%0d). Expected 1.25, got %0.2f", `__LINE__, r); + failed = 1'b1; + end + + if (!failed) begin + $display("PASSED"); + end + end +endmodule diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index ea188deac..424ce1cc6 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -213,6 +213,7 @@ pv_wr_fn_vec2 vvp_tests/pv_wr_fn_vec2.json pv_wr_fn_vec4 vvp_tests/pv_wr_fn_vec4.json queue_fail vvp_tests/queue_fail.json readmem-invalid vvp_tests/readmem-invalid.json +real_delay_assign vvp_tests/real_delay_assign.json real_negative_zero vvp_tests/real_negative_zero.json real_unary_minus_inf vvp_tests/real_unary_minus_inf.json real_unary_minus_nan vvp_tests/real_unary_minus_nan.json diff --git a/ivtest/vvp_tests/real_delay_assign.json b/ivtest/vvp_tests/real_delay_assign.json new file mode 100644 index 000000000..b4442c9fb --- /dev/null +++ b/ivtest/vvp_tests/real_delay_assign.json @@ -0,0 +1,4 @@ +{ + "type" : "normal", + "source" : "real_delay_assign.v" +}