diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-09 21:05:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-09 21:05:06 -0700 |
| commit | fbdaf2075f1d51630f538d14bd9baf40fdc280d4 (patch) | |
| tree | 79b5cd0f937fefe607d8eacd041139dbce68b05c /src/map/scl/sclSize.h | |
| parent | d4ad3b4156dd2d4fa6d56573e606b05c2d2d97f9 (diff) | |
| download | abc-fbdaf2075f1d51630f538d14bd9baf40fdc280d4.tar.gz abc-fbdaf2075f1d51630f538d14bd9baf40fdc280d4.tar.bz2 abc-fbdaf2075f1d51630f538d14bd9baf40fdc280d4.zip | |
Integrated buffering and sizing.
Diffstat (limited to 'src/map/scl/sclSize.h')
| -rw-r--r-- | src/map/scl/sclSize.h | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/map/scl/sclSize.h b/src/map/scl/sclSize.h index eeade9bc..2c7a0640 100644 --- a/src/map/scl/sclSize.h +++ b/src/map/scl/sclSize.h @@ -188,6 +188,14 @@ static inline SC_Man * Abc_SclManAlloc( SC_Lib * pLib, Abc_Ntk_t * pNtk ) } static inline void Abc_SclManFree( SC_Man * p ) { + Abc_Obj_t * pObj; + int i; + // set CI/CO ids + Abc_NtkForEachCi( p->pNtk, pObj, i ) + pObj->iData = 0; + Abc_NtkForEachCo( p->pNtk, pObj, i ) + pObj->iData = 0; + // other p->pNtk->pSCLib = NULL; Vec_IntFreeP( &p->pNtk->vGates ); Vec_IntFreeP( &p->vNodeIter ); @@ -485,7 +493,7 @@ static inline void Abc_SclDumpStats( SC_Man * p, char * pFileName, abctime Time } /*=== sclBufSize.c ===============================================================*/ -extern Abc_Ntk_t * Abc_SclBufSizePerform( Abc_Ntk_t * pNtk, SC_Lib * pLib, int GainRatio, int nDegree, int fAddBufs, int fBufPis, int fVerbose ); +extern Abc_Ntk_t * Abc_SclBufSizePerform( Abc_Ntk_t * pNtk, SC_Lib * pLib, int GainRatio, int nDegree, int fSizeOnly, int fAddBufs, int fBufPis, int fVerbose ); /*=== sclBuffer.c ===============================================================*/ extern int Abc_SclIsInv( Abc_Obj_t * pObj ); extern void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj ); |