diff options
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcIf.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abcPart.c | 4 | ||||
| -rw-r--r-- | src/base/abci/abcPrint.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 01d156e1..9d6ed12e 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -202,7 +202,7 @@ If_Man_t * Abc_NtkToIf( Abc_Ntk_t * pNtk, If_Par_t * pPars ) // print warning about excessive memory usage if ( 1.0 * Abc_NtkObjNum(pNtk) * pIfMan->nObjBytes / (1<<30) > 1.0 ) - printf( "Warning: The mapper will allocate %.1f Gb for to represent the subject graph with %d AIG nodes.\n", + printf( "Warning: The mapper will allocate %.1f GB for to represent the subject graph with %d AIG nodes.\n", 1.0 * Abc_NtkObjNum(pNtk) * pIfMan->nObjBytes / (1<<30), Abc_NtkObjNum(pNtk) ); // create PIs and remember them in the old nodes diff --git a/src/base/abci/abcPart.c b/src/base/abci/abcPart.c index a92decc1..779c5c7e 100644 --- a/src/base/abci/abcPart.c +++ b/src/base/abci/abcPart.c @@ -32,7 +32,7 @@ ABC_NAMESPACE_IMPL_START typedef struct Supp_Man_t_ Supp_Man_t; struct Supp_Man_t_ { - int nChunkSize; // the size of one chunk of memory (~1 Mb) + int nChunkSize; // the size of one chunk of memory (~1 MB) int nStepSize; // the step size in saving memory (~64 bytes) char * pFreeBuf; // the pointer to free memory int nFreeSize; // the size of remaining free memory @@ -385,7 +385,7 @@ Vec_Ptr_t * Abc_NtkComputeSupportsSmart( Abc_Ntk_t * pNtk ) assert( 0 ); } Vec_PtrFree( vNodes ); -//printf( "Memory usage = %d Mb.\n", Vec_PtrSize(p->vMemory) * p->nChunkSize / (1<<20) ); +//printf( "Memory usage = %d MB.\n", Vec_PtrSize(p->vMemory) * p->nChunkSize / (1<<20) ); Supp_ManStop( p ); // sort supports by size Vec_VecSort( (Vec_Vec_t *)vSupports, 1 ); diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 0ec73fde..3244a196 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -373,7 +373,7 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum s_TotalNodes += Abc_NtkNodeNum(pNtk); - printf( "Total nodes = %6d %6.2f Mb Changes = %6d.\n", + printf( "Total nodes = %6d %6.2f MB Changes = %6d.\n", s_TotalNodes, s_TotalNodes * 20.0 / (1<<20), s_TotalChanges ); */ |