diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-09 18:59:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-09 18:59:36 -0700 |
| commit | b9913732c41c2eba57cc92a0566988015f719fcb (patch) | |
| tree | 21b66db1f2dfe701222dbb57e30c6dd1404fdb30 /src/base/abci | |
| parent | 0509440a45b3f7b079de122bce070be4a723635c (diff) | |
| download | abc-b9913732c41c2eba57cc92a0566988015f719fcb.tar.gz abc-b9913732c41c2eba57cc92a0566988015f719fcb.tar.bz2 abc-b9913732c41c2eba57cc92a0566988015f719fcb.zip | |
Improving printouts of critical path.
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 ); |