diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-29 22:49:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-29 22:49:10 -0700 |
| commit | 7fb1954268eb90b885ad548244ffc63ba2ca667a (patch) | |
| tree | f23cce68817f9b86d9fde7c316ab75f14fa89027 | |
| parent | 6a69a9139cee418fd6919b681f172f8cadba32cc (diff) | |
| download | abc-7fb1954268eb90b885ad548244ffc63ba2ca667a.tar.gz abc-7fb1954268eb90b885ad548244ffc63ba2ca667a.tar.bz2 abc-7fb1954268eb90b885ad548244ffc63ba2ca667a.zip | |
Small changes.
| -rw-r--r-- | src/base/abci/abcDar.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abcPrint.c | 5 |
2 files changed, 4 insertions, 3 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index f1678492..1214e7b2 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -832,7 +832,7 @@ static inline Abc_Obj_t * Abc_NtkFromCellRead( Abc_Ntk_t * p, Vec_Int_t * vCopyL } Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p ) { - int fVerbose = 0; + int fVerbose = 1; int fDuplicate = 1; Abc_Ntk_t * pNtkNew; Vec_Int_t * vCopyLits; diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 8f1485f7..cdbbe4b0 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -1085,10 +1085,11 @@ void Abc_NtkPrintGates( Abc_Ntk_t * pNtk, int fUseLibrary ) if ( Counter == 0 ) continue; Area = Counter * Mio_GateReadArea( ppGates[i] ); - printf( "%-*s Fanin = %2d Instance = %8d Area = %10.2f %6.2f %%\n", + printf( "%-*s Fanin = %2d Instance = %8d Area = %10.2f %6.2f %% %s\n", nGateNameLen, Mio_GateReadName( ppGates[i] ), Mio_GateReadPinNum( ppGates[i] ), - Counter, Area, 100.0 * Area / AreaTotal ); + Counter, Area, 100.0 * Area / AreaTotal, + Mio_GateReadForm(ppGates[i]) ); } printf( "%-*s Instance = %8d Area = %10.2f %6.2f %%\n", nGateNameLen, "TOTAL", |