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/ifSeq.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/ifSeq.c')
| -rw-r--r-- | src/map/if/ifSeq.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/if/ifSeq.c b/src/map/if/ifSeq.c index adb97b22..32cef52a 100644 --- a/src/map/if/ifSeq.c +++ b/src/map/if/ifSeq.c @@ -142,7 +142,7 @@ int If_ManPerformMappingRoundSeq( If_Man_t * p, int nIter ) p->nCutsMerged = 0; If_ManForEachNode( p, pObj, i ) { - If_ObjPerformMappingAnd( p, pObj, 0, 0 ); + If_ObjPerformMappingAnd( p, pObj, 0, 0, 0 ); if ( pObj->fRepr ) If_ObjPerformMappingChoice( p, pObj, 0, 0 ); } @@ -345,7 +345,7 @@ int If_ManPerformMappingSeq( If_Man_t * p ) p->SortMode = 0; // perform combinational mapping to get the upper bound on the clock period - If_ManPerformMappingRound( p, 1, 0, 0, NULL ); + If_ManPerformMappingRound( p, 1, 0, 0, 1, NULL ); p->RequiredGlo = If_ManDelayMax( p, 0 ); p->RequiredGlo2 = p->RequiredGlo; |