diff options
Diffstat (limited to 'src/map/scl/sclMan.h')
-rw-r--r-- | src/map/scl/sclMan.h | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/map/scl/sclMan.h b/src/map/scl/sclMan.h index b1192bdd..c8fb2ebd 100644 --- a/src/map/scl/sclMan.h +++ b/src/map/scl/sclMan.h @@ -321,6 +321,32 @@ static inline SC_Cell * Abc_SclObjResiable( SC_Man * p, Abc_Obj_t * pObj, int fU return pOld->pPrev->Order < pOld->Order ? pOld->pPrev : NULL; } +/**Function************************************************************* + + Synopsis [Dumps timing results into a file.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, clock_t Time ) +{ + FILE * pTable; + pTable = fopen( pFileName, "a+" ); + fprintf( pTable, "%s ", p->pNtk->pName ); + fprintf( pTable, "%d ", Abc_NtkPiNum(p->pNtk) ); + fprintf( pTable, "%d ", Abc_NtkPoNum(p->pNtk) ); + fprintf( pTable, "%d ", Abc_NtkNodeNum(p->pNtk) ); + fprintf( pTable, "%d ", (int)p->SumArea0 ); + fprintf( pTable, "%d ", (int)p->MaxDelay0 ); + fprintf( pTable, "%.2f ", 1.0*Time/CLOCKS_PER_SEC ); + fprintf( pTable, "\n" ); + fclose( pTable ); +} + /*=== sclTime.c =============================================================*/ extern Abc_Obj_t * Abc_SclFindCriticalCo( SC_Man * p, int * pfRise ); |