diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-14 09:06:14 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-14 09:06:14 -0500 |
| commit | 02cf86939178ce0f95b98a4c7b432d4375a872e5 (patch) | |
| tree | 2050cb947436114aa3fd7f4edb0d66bbb3109d38 /src/map/if/ifDelay.c | |
| parent | 5cd9145046219f25d6d2ba2d746fcd7bb9531ef2 (diff) | |
| download | abc-02cf86939178ce0f95b98a4c7b432d4375a872e5.tar.gz abc-02cf86939178ce0f95b98a4c7b432d4375a872e5.tar.bz2 abc-02cf86939178ce0f95b98a4c7b432d4375a872e5.zip | |
Changes in the LUT mapper data-structures.
Diffstat (limited to 'src/map/if/ifDelay.c')
| -rw-r--r-- | src/map/if/ifDelay.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c index 8873080d..8eb2101d 100644 --- a/src/map/if/ifDelay.c +++ b/src/map/if/ifDelay.c @@ -62,6 +62,7 @@ static inline int If_CutMaxCubeSize( Vec_Int_t * vCover, int nVars ) } int If_CutDelaySop( If_Man_t * p, If_Cut_t * pCut ) { + char * pPerm = If_CutPerm( pCut ); // delay is calculated using 1+log2(NumFanins) static double GateDelays[20] = { 1.00, 1.00, 2.00, 2.58, 3.00, 3.32, 3.58, 3.81, 4.00, 4.17, 4.32, 4.46, 4.58, 4.70, 4.81, 4.91, 5.00, 5.09, 5.17, 5.25 }; Vec_Int_t * vCover; @@ -90,7 +91,7 @@ int If_CutDelaySop( If_Man_t * p, If_Cut_t * pCut ) Delay = (int)(GateDelays[If_CutLeaveNum(pCut)] + 0.5); DelayMax = 0; If_CutForEachLeaf( p, pCut, pLeaf, i ) - DelayMax = Abc_MaxInt( DelayMax, If_ObjCutBest(pLeaf)->Delay + (pCut->pPerm[i] = (char)Delay) ); + DelayMax = Abc_MaxInt( DelayMax, If_ObjCutBest(pLeaf)->Delay + (pPerm[i] = (char)Delay) ); } else { @@ -98,7 +99,7 @@ int If_CutDelaySop( If_Man_t * p, If_Cut_t * pCut ) Delay = (int)(GateDelays[If_CutLeaveNum(pCut)] + GateDelays[nLitMax] + 0.5); DelayMax = 0; If_CutForEachLeaf( p, pCut, pLeaf, i ) - DelayMax = Abc_MaxInt( DelayMax, If_ObjCutBest(pLeaf)->Delay + (pCut->pPerm[i] = (char)Delay) ); + DelayMax = Abc_MaxInt( DelayMax, If_ObjCutBest(pLeaf)->Delay + (pPerm[i] = (char)Delay) ); } return DelayMax; } |