From b9913732c41c2eba57cc92a0566988015f719fcb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 9 Apr 2012 18:59:36 -0700 Subject: Improving printouts of critical path. --- src/base/abci/abcTiming.c | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) (limited to 'src/base/abci/abcTiming.c') 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 ); -- cgit v1.2.3