Timing analysis of dfadd
FMax: 88.41MHz
Critical path: 13.221ns
Start signal: main:main_inst|main_102_106_reg[10]
End signal: main:main_inst|main_float64_add_exit_0_i_phi_temp[33]
/* main: %123*/ /* %124 = icmp ult i64 %104, %106*/
main_123_124 = (main_102_104_reg < main_102_106_reg);
/* main: %float64_add.exit*/ /* %.0.i = phi i64 [%101, %100], [%58, %56], [%90, %86], [%2,%22 ], [%2,%80 ], [%26, %float64_is_signaling_nan.exit1.i8.i.i], [%55,%float64_is_signaling_nan.exit1.i1.i.i], [%85,%float64_is_signaling_nan.exit1.i.i4.i], [%210,%normalizeRoundAndPackFloat64.exit.i.i], [%136,%132 ], [9223372036854775807, %117], [%2, %163], [%116, %float64_is_signaling_nan.exit1.i9.i.i], [%131, %float64_is_signaling_nan.exit1.i4.i.i], [%167, %float64_is_signaling_nan.exit1.i.i.i], [0, %123]*/
if ( ( ( ( cur_state == LEGUP_F_main_BB_123_42) & (memory_controller_waitrequest == 1'd0)) & (main_123_124 == 1'd0) ) )
main_float64_add_exit__0_i_phi_temp ⇐ 64'd0;
