luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added print-out of area in terms of LUT library.

This commit is contained in:
Alan Mishchenko 2011-04-13 08:24:35 -07:00
parent c82a418b26
commit 8b22fd2856
1 changed files with 32 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
src/base/abci/abcPrint.c
View File

@ -24,6 +24,7 @@
#include "main.h"
#include "mio.h"
#include "aig.h"
#include "if.h"
ABC_NAMESPACE_IMPL_START
@ -150,6 +151,34 @@ float Abc_NtkMfsTotalSwitching( Abc_Ntk_t * pNtk )
return Result;
}
/**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.]
@ -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 )