diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-21 13:31:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-21 13:31:02 -0700 |
| commit | d0d7763ef8954ff2bd74a00545c986584a7666a2 (patch) | |
| tree | f6676cb7003d66cef2296c9e42ed2d81da9553f0 /src/map/if/ifTime.c | |
| parent | ffcb4afbb50ccabad96ef3f102f32417b974c5de (diff) | |
| download | abc-d0d7763ef8954ff2bd74a00545c986584a7666a2.tar.gz abc-d0d7763ef8954ff2bd74a00545c986584a7666a2.tar.bz2 abc-d0d7763ef8954ff2bd74a00545c986584a7666a2.zip | |
Supporting AND-gate cuts in 'if' and '&if'
Diffstat (limited to 'src/map/if/ifTime.c')
| -rw-r--r-- | src/map/if/ifTime.c | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index 4211b385..c2ba40e8 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -98,7 +98,15 @@ float If_CutDelay( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut ) float * pLutDelays; int i, Shift, Pin2PinDelay;//, iLeaf; Delay = -IF_FLOAT_LARGE; - if ( p->pPars->pLutLib ) + if ( pCut->fAndCut ) + { + If_CutForEachLeaf( p, pCut, pLeaf, i ) + { + DelayCur = If_ObjCutBest(pLeaf)->Delay + p->pPars->nAndDelay; + Delay = IF_MAX( Delay, DelayCur ); + } + } + else if ( p->pPars->pLutLib ) { assert( !p->pPars->fLiftLeaves ); pLutDelays = p->pPars->pLutLib->pLutDelays[pCut->nLeaves]; @@ -177,7 +185,12 @@ void If_CutPropagateRequired( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, fl int i, Pin2PinDelay;//, iLeaf; assert( !p->pPars->fLiftLeaves ); // compute the pins - if ( p->pPars->pLutLib ) + if ( pCut->fAndCut ) + { + If_CutForEachLeaf( p, pCut, pLeaf, i ) + pLeaf->Required = IF_MIN( pLeaf->Required, ObjRequired - p->pPars->nAndDelay ); + } + else if ( p->pPars->pLutLib ) { pLutDelays = p->pPars->pLutLib->pLutDelays[pCut->nLeaves]; if ( p->pPars->pLutLib->fVarPinDelays ) |