diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-16 19:30:38 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-16 19:30:38 -0800 |
| commit | 46532e6c2f3d0dabdb03daad5c55f6f732311797 (patch) | |
| tree | 8ce2a3bd42c7cf9ed19ef035eecc50bfa4d65eea /src/map/if/ifTime.c | |
| parent | ea1baf6f70baec775086b0bff57a27f720ca870d (diff) | |
| download | abc-46532e6c2f3d0dabdb03daad5c55f6f732311797.tar.gz abc-46532e6c2f3d0dabdb03daad5c55f6f732311797.tar.bz2 abc-46532e6c2f3d0dabdb03daad5c55f6f732311797.zip | |
Significant improvement to LUT mappers (if, &if).
Diffstat (limited to 'src/map/if/ifTime.c')
| -rw-r--r-- | src/map/if/ifTime.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/map/if/ifTime.c b/src/map/if/ifTime.c index f0fd3046..f07b502e 100644 --- a/src/map/if/ifTime.c +++ b/src/map/if/ifTime.c @@ -261,7 +261,7 @@ Vec_Wrd_t * If_CutDelaySopArray( If_Man_t * p, If_Cut_t * pCut ) p->vAndGate = Vec_WrdAlloc(100); if ( p->vOrGate == NULL ) p->vOrGate = Vec_WrdAlloc(100); - RetValue = Kit_TruthIsop( If_CutTruth(pCut), If_CutLeaveNum(pCut), p->vCover, 1 ); + RetValue = Kit_TruthIsop( If_CutTruth(p, pCut), If_CutLeaveNum(pCut), p->vCover, 1 ); if ( RetValue == -1 ) return NULL; assert( RetValue == 0 || RetValue == 1 ); @@ -499,7 +499,7 @@ int If_CutDelaySopArray2( If_Man_t * p, If_Cut_t * pCut, int * pArea ) p->vAndGate = Vec_WrdAlloc(100); if ( p->vOrGate == NULL ) p->vOrGate = Vec_WrdAlloc(100); - RetValue = Kit_TruthIsop( If_CutTruth(pCut), If_CutLeaveNum(pCut), p->vCover, 1 ); + RetValue = Kit_TruthIsop( If_CutTruth(p, pCut), If_CutLeaveNum(pCut), p->vCover, 1 ); if ( RetValue == -1 ) return -1; assert( RetValue == 0 || RetValue == 1 ); @@ -581,7 +581,7 @@ int If_CutDelaySop( If_Man_t * p, If_Cut_t * pCut ) pCut->fUser = 1; if ( p->vCover == NULL ) p->vCover = Vec_IntAlloc(0); - RetValue = Kit_TruthIsop( If_CutTruth(pCut), If_CutLeaveNum(pCut), p->vCover, 1 ); + RetValue = Kit_TruthIsop( If_CutTruth(p, pCut), If_CutLeaveNum(pCut), p->vCover, 1 ); if ( RetValue == -1 ) return ABC_INFINITY; assert( RetValue == 0 || RetValue == 1 ); @@ -631,7 +631,7 @@ float If_CutDelay( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut ) float Delay, DelayCur; float * pLutDelays; int i, Shift, Pin2PinDelay;//, iLeaf; - assert( p->pPars->fSeqMap || pCut->nLeaves > 1 ); +// assert( p->pPars->fSeqMap || pCut->nLeaves > 1 ); Delay = -IF_FLOAT_LARGE; if ( p->pPars->pLutLib ) { @@ -810,6 +810,7 @@ void If_CutSortInputPins( If_Man_t * p, If_Cut_t * pCut, int * pPinPerm, float * SeeAlso [] ***********************************************************************/ +/* void If_CutRotatePins( If_Man_t * p, If_Cut_t * pCut ) { If_Obj_t * pLeaf; @@ -819,9 +820,10 @@ void If_CutRotatePins( If_Man_t * p, If_Cut_t * pCut ) // assert( p->pPars->pLutLib && p->pPars->pLutLib->fVarPinDelays && p->pPars->fTruth ); If_CutForEachLeaf( p, pCut, pLeaf, i ) PinDelays[i] = If_ObjCutBest(pLeaf)->Delay; - If_CutTruthPermute( p->puTemp[0], If_CutTruth(pCut), If_CutLeaveNum(pCut), PinDelays, If_CutLeaves(pCut) ); + If_CutTruthPermute( p->puTemp[0], If_CutTruth(p, pCut), If_CutLeaveNum(pCut), PinDelays, If_CutLeaves(pCut) ); // If_CutSortInputPins( p, pCut, PinPerm, PinDelays ); } +*/ //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |