diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-13 23:08:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-13 23:08:52 -0700 |
commit | 1692c1a57a74938a396812375f29f0065b5337b7 (patch) | |
tree | 8eee10f90bef82325f134dbaadf86d158b92de21 /src/map/scl/sclSize.h | |
parent | a4f80c1d36ee2ea986ac3fd637aa91f97537cdb6 (diff) | |
download | abc-1692c1a57a74938a396812375f29f0065b5337b7.tar.gz abc-1692c1a57a74938a396812375f29f0065b5337b7.tar.bz2 abc-1692c1a57a74938a396812375f29f0065b5337b7.zip |
Improvements to buffering and sizing.
Diffstat (limited to 'src/map/scl/sclSize.h')
-rw-r--r-- | src/map/scl/sclSize.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index 76022448..1087651e 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -532,14 +532,14 @@ static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, abctime Time fprintf( pTable, "%.1f ", 100.0 * Abc_NtkNodeNum(p->pNtk) / nNodesOld ); fprintf( pTable, "%.1f ", 100.0 * (int)p->SumArea / nAreaOld ); fprintf( pTable, "%.1f ", 100.0 * (int)p->ReportDelay / nDelayOld ); - fprintf( pTable, "%.2f", 1.0*(Abc_Clock() - clk)/CLOCKS_PER_SEC ); + fprintf( pTable, "%.2f", 1.0*(Abc_Clock() - clk)/CLOCKS_PER_SEC ); } fclose( pTable ); } -/*=== sclBufSize.c ===============================================================*/ -extern Abc_Ntk_t * Abc_SclBufSizePerform( Abc_Ntk_t * pNtk, SC_Lib * pLib, SC_BusPars * pPars ); /*=== sclBuffer.c ===============================================================*/ +extern Abc_Ntk_t * Abc_SclBufferingPerform( Abc_Ntk_t * pNtk, SC_Lib * pLib, SC_BusPars * pPars ); +/*=== sclBufferOld.c ===============================================================*/ extern int Abc_SclIsInv( Abc_Obj_t * pObj ); extern void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj ); extern void Abc_NodeInvUpdateObjFanoutPolarity( Abc_Obj_t * pObj, Abc_Obj_t * pFanout ); |