diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-13 08:24:35 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-04-13 08:24:35 -0700 |
| commit | 8b22fd285607c2d99150ef7f1ec0c4a7d9a9b8de (patch) | |
| tree | 30abfb6550712570132a704c0130e91ba37a832a | |
| parent | c82a418b26162fb92af2d33f399bf593af647ede (diff) | |
| download | abc-8b22fd285607c2d99150ef7f1ec0c4a7d9a9b8de.tar.gz abc-8b22fd285607c2d99150ef7f1ec0c4a7d9a9b8de.tar.bz2 abc-8b22fd285607c2d99150ef7f1ec0c4a7d9a9b8de.zip | |
Added print-out of area in terms of LUT library.
| -rw-r--r-- | src/base/abci/abcPrint.c | 33 |
1 files changed, 32 insertions, 1 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c index 3b0ab94a..49d834d1 100644 --- a/src/base/abci/abcPrint.c +++ b/src/base/abci/abcPrint.c @@ -24,6 +24,7 @@ #include "main.h" #include "mio.h" #include "aig.h" +#include "if.h" ABC_NAMESPACE_IMPL_START @@ -152,6 +153,34 @@ float Abc_NtkMfsTotalSwitching( Abc_Ntk_t * pNtk ) /**Function************************************************************* + Synopsis [Compute area using LUT library.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +float Abc_NtkGetArea( Abc_Ntk_t * pNtk ) +{ + If_Lib_t * pLutLib; + Abc_Obj_t * pObj; + float Counter = 0.0; + int i; + assert( Abc_NtkIsLogic(pNtk) ); + // get the library + pLutLib = (If_Lib_t *)Abc_FrameReadLibLut(); + if ( pLutLib && pLutLib->LutMax >= Abc_NtkGetFaninMax(pNtk) ) + { + Abc_NtkForEachNode( pNtk, pObj, i ) + Counter += pLutLib->pLutAreas[Abc_ObjFaninNum(pObj)]; + } + return Counter; +} + +/**Function************************************************************* + Synopsis [Print the vital stats of the network.] Description [] @@ -229,7 +258,7 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum else if ( Abc_NtkHasMapping(pNtk) ) { fprintf( pFile, " area =%5.2f", Abc_NtkGetMappedArea(pNtk) ); - fprintf( pFile, " delay =%5.2f", Abc_NtkDelayTrace(pNtk) ); + fprintf( pFile, " delay =%5.2f", Abc_NtkGetArea(pNtk) ); } else if ( !Abc_NtkHasBlackbox(pNtk) ) { @@ -247,6 +276,8 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum fprintf( pFile, " lev =%3d", Abc_NtkLevel(pNtk) ); if ( fUseLutLib && Abc_FrameReadLibLut() ) fprintf( pFile, " delay =%5.2f", Abc_NtkDelayTraceLut(pNtk, 1) ); + if ( fUseLutLib && Abc_FrameReadLibLut() ) + fprintf( pFile, " area =%5.2f", Abc_NtkGetArea(pNtk) ); if ( fPower ) fprintf( pFile, " power =%7.2f", Abc_NtkMfsTotalSwitching(pNtk) ); if ( fGlitch ) |