diff options
Diffstat (limited to 'src/base/abci/abcCut.c')
-rw-r--r-- | src/base/abci/abcCut.c | 38 |
1 files changed, 17 insertions, 21 deletions
diff --git a/src/base/abci/abcCut.c b/src/base/abci/abcCut.c index e7309a59..64dec4a4 100644 --- a/src/base/abci/abcCut.c +++ b/src/base/abci/abcCut.c @@ -43,7 +43,7 @@ Cut_Man_t * Abc_NtkCuts( Abc_Ntk_t * pNtk, Cut_Params_t * pParams ) { Cut_Man_t * p; - Abc_Obj_t * pObj, * pDriver, * pNode; + Abc_Obj_t * pObj, * pNode; Vec_Ptr_t * vNodes; Vec_Int_t * vChoices; int i; @@ -86,30 +86,26 @@ Cut_Man_t * Abc_NtkCuts( Abc_Ntk_t * pNtk, Cut_Params_t * pParams ) Cut_NodeUnionCuts( p, vChoices ); } } - if ( !pParams->fSeq ) - { - Vec_PtrFree( vNodes ); - Vec_IntFree( vChoices ); + Vec_PtrFree( vNodes ); + Vec_IntFree( vChoices ); PRT( "Total", clock() - clk ); - return p; - } - assert( 0 ); + return p; +} - // compute sequential cuts - Abc_NtkIncrementTravId( pNtk ); - Abc_NtkForEachLatch( pNtk, pObj, i ) - { - pDriver = Abc_ObjFanin0(pObj); - if ( !Abc_ObjIsNode(pDriver) ) - continue; - if ( Abc_NodeIsTravIdCurrent(pDriver) ) - continue; - Abc_NodeSetTravIdCurrent(pDriver); - } - // compute as long as new cuts appear +/**Function************************************************************* + Synopsis [Computes the cuts for the network.] - return p; + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Cut_Man_t * Abc_NtkSeqCuts( Abc_Ntk_t * pNtk, Cut_Params_t * pParams ) +{ + return NULL; } /**Function************************************************************* |