diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 16:55:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-19 16:55:44 -0700 |
| commit | d0c4c0cd7b955c49a1d300977555ee14289726e4 (patch) | |
| tree | f084311e1b25f25beec3cf790becea6b0c5eb6d1 /src/aig/gia | |
| parent | 17f989ccbaaa9f51d17349c55f0745396d3e7007 (diff) | |
| download | abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.tar.gz abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.tar.bz2 abc-d0c4c0cd7b955c49a1d300977555ee14289726e4.zip | |
Improvements to DSD balancing.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaIf.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 5b4d1cfa..9958a63c 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1588,6 +1588,8 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp, int fNormalized ) assert( pPars->nLutSize <= If_DsdManVarNum(p) ); assert( (pPars->pLutStruct == NULL && If_DsdManLutSize(p) == 0) || (pPars->pLutStruct && pPars->pLutStruct[0] - '0' == If_DsdManLutSize(p)) ); pIfMan->pIfDsdMan = (If_DsdMan_t *)Abc_FrameReadManDsd(); + if ( pPars->fDsdBalance ) + If_DsdManAllocIsops( pIfMan->pIfDsdMan, pPars->nLutSize ); } // compute switching for the IF objects if ( pPars->fPower ) |