diff options
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcTiming.c | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index a6977c07..f9555930 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -893,7 +893,7 @@ float Abc_NtkDelayTrace( Abc_Ntk_t * pNtk, Abc_Obj_t * pOut, Abc_Obj_t * pIn, in int k, iFanin, Length = 0; Abc_Obj_t * pFanin; // check the additional slack - SlackAdd = Abc_MaxFloat( 0.0, Abc_NodeRequired(pOut)->Worst - Abc_NodeArrival(Abc_ObjFanin0(pOut))->Worst ); + SlackAdd = Abc_NodeRequired(pOut)->Worst - Abc_NodeArrival(Abc_ObjFanin0(pOut))->Worst; // collect the critical path Abc_NtkDelayTraceCritPathCollect_rec( vSlacks, Abc_ObjFanin0(pOut), vBest, vPath ); if ( pIn == NULL ) @@ -941,11 +941,8 @@ float Abc_NtkDelayTrace( Abc_Ntk_t * pNtk, Abc_Obj_t * pOut, Abc_Obj_t * pIn, in } printf( "Level %3d : ", Abc_ObjLevel(Abc_ObjFanin0(pOut)) + 1 ); printf( "Primary output \"%s\". ", Abc_ObjName(pOut) ); - if ( Abc_NodeRequired(pOut)->Worst - Abc_NodeArrival(Abc_ObjFanin0(pOut))->Worst <= 0.0 ) - printf( "Required time = %6.1f. ", Abc_NodeReadArrival(Abc_ObjFanin0(pOut))->Worst ); - else - printf( "Required time = %6.1f. ", Abc_NodeRequired(pOut)->Worst ); - printf( "Path slack = %6.1f.\n", Slack ); + printf( "Required time = %6.1f. ", Abc_NodeRequired(pOut)->Worst ); + printf( "Path slack = %6.1f.\n", SlackAdd ); } Vec_PtrFree( vPath ); Vec_IntFree( vBest ); |