diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 12:26:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-06 12:26:25 -0700 |
| commit | 2a399042baf62f67699350c96b8d30c374373c38 (patch) | |
| tree | 6d23d57733921a7a58fb301722edbe3b46a5f164 /src/map/if/ifTime.c | |
| parent | faf3bf34af25297baeb454597c7d92aa75778961 (diff) | |
| download | abc-2a399042baf62f67699350c96b8d30c374373c38.tar.gz abc-2a399042baf62f67699350c96b8d30c374373c38.tar.bz2 abc-2a399042baf62f67699350c96b8d30c374373c38.zip | |
Improvement in SOP balancing.
Diffstat (limited to 'src/map/if/ifTime.c')
| -rw-r--r-- | src/map/if/ifTime.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index cc08cfab..6d8a3805 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -253,6 +253,7 @@ Vec_Wrd_t * If_CutDelaySopArray( If_Man_t * p, If_Cut_t * pCut ) abctime clk; Vec_Wrd_t * vAnds; int RetValue; + printf( "Running old code!!!\n" ); if ( p->vCover == NULL ) p->vCover = Vec_IntAlloc(0); if ( p->vAnds == NULL ) @@ -742,13 +743,11 @@ void If_CutPropagateRequired( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, fl { if ( pCut->fUser ) { -/* if ( p->pPars->fDelayOpt ) { int Del = If_CutPinDelaysSopArray3( p, pCut, pCut->pPerm ); assert( Del == pCut->Delay ); } -*/ If_CutForEachLeaf( p, pCut, pLeaf, i ) { Pin2PinDelay = pCut->pPerm ? (pCut->pPerm[i] == IF_BIG_CHAR ? -IF_BIG_CHAR : pCut->pPerm[i]) : 1; |