diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-08 18:23:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-08 18:23:00 -0700 |
commit | 881b2ec46f0519cbab41ba51245b3de949fdbee9 (patch) | |
tree | faa822cf70c81f4d55c1d36fb5335cc396e4922a /src/map/scl/sclBuffer.c | |
parent | 655dc4e727e2c4e74cc511f343007cee5b8e35b6 (diff) | |
download | abc-881b2ec46f0519cbab41ba51245b3de949fdbee9.tar.gz abc-881b2ec46f0519cbab41ba51245b3de949fdbee9.tar.bz2 abc-881b2ec46f0519cbab41ba51245b3de949fdbee9.zip |
Integrated buffering and sizing.
Diffstat (limited to 'src/map/scl/sclBuffer.c')
-rw-r--r-- | src/map/scl/sclBuffer.c | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/src/map/scl/sclBuffer.c b/src/map/scl/sclBuffer.c index e9060f7b..f205a0fe 100644 --- a/src/map/scl/sclBuffer.c +++ b/src/map/scl/sclBuffer.c @@ -315,7 +315,7 @@ int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ) SeeAlso [] ***********************************************************************/ -void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj, int fVerbose ) +void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj ) { Abc_Obj_t * pFanout; int i; @@ -323,22 +323,17 @@ void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj, int fVerbose ) Abc_ObjForEachFanout( pObj, pFanout, i ) { if ( Abc_SclObjIsBufInv(pFanout) ) - Abc_NodeInvUpdateFanPolarity( pFanout, fVerbose ); + Abc_NodeInvUpdateFanPolarity( pFanout ); else - { Abc_ObjFaninFlipPhase( pFanout, Abc_NodeFindFanin(pFanout, pObj) ); -// if ( fVerbose ) -// printf( "Flipping fanin %d of node %d.\n", Abc_NodeFindFanin(pFanout, pObj), Abc_ObjId(pFanout) ); - } } } void Abc_NodeInvUpdateObjFanoutPolarity( Abc_Obj_t * pObj, Abc_Obj_t * pFanout ) { if ( Abc_SclObjIsBufInv(pFanout) ) - Abc_NodeInvUpdateFanPolarity( pFanout, 1 ); + Abc_NodeInvUpdateFanPolarity( pFanout ); else Abc_ObjFaninFlipPhase( pFanout, Abc_NodeFindFanin(pFanout, pObj) ); -// printf( "\n" ); } int Abc_NodeCompareLevels( Abc_Obj_t ** pp1, Abc_Obj_t ** pp2 ) { @@ -413,7 +408,7 @@ Abc_Obj_t * Abc_SclPerformBufferingOne( Abc_Obj_t * pObj, int Degree, int fUseIn Abc_ObjAddFanin( pBuffer, pObj ); pBuffer->Level = Abc_SclComputeReverseLevel( pBuffer ); if ( fUseInvs ) - Abc_NodeInvUpdateFanPolarity( pBuffer, 0 ); + Abc_NodeInvUpdateFanPolarity( pBuffer ); return pBuffer; } void Abc_SclPerformBuffering_rec( Abc_Obj_t * pObj, int DegreeR, int Degree, int fUseInvs, int fVerbose ) @@ -451,7 +446,7 @@ void Abc_SclPerformBuffering_rec( Abc_Obj_t * pObj, int DegreeR, int Degree, int Abc_ObjAddFanin( pBuffer, pObj ); pBuffer->Level = Abc_SclComputeReverseLevel( pBuffer ); if ( fUseInvs ) - Abc_NodeInvUpdateFanPolarity( pBuffer, 0 ); + Abc_NodeInvUpdateFanPolarity( pBuffer ); } // compute the new level of the node pObj->Level = Abc_SclComputeReverseLevel( pObj ); |