From fbdaf2075f1d51630f538d14bd9baf40fdc280d4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 9 Aug 2013 21:05:06 -0700 Subject: Integrated buffering and sizing. --- src/map/scl/sclSize.h | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'src/map/scl/sclSize.h') 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 ); -- cgit v1.2.3