diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-21 09:13:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-21 09:13:41 -0700 |
| commit | a677a679767a95add9c24b1b4d3b26c69093bdf6 (patch) | |
| tree | 80eda0b5850b203d32d436d534281b0b5581c914 /src/opt/sfm/sfmDec.c | |
| parent | b3f164961c8ec894b91d896717929d93b10d28cd (diff) | |
| download | abc-a677a679767a95add9c24b1b4d3b26c69093bdf6.tar.gz abc-a677a679767a95add9c24b1b4d3b26c69093bdf6.tar.bz2 abc-a677a679767a95add9c24b1b4d3b26c69093bdf6.zip | |
Gate combination precomputation with delay profile.
Diffstat (limited to 'src/opt/sfm/sfmDec.c')
| -rw-r--r-- | src/opt/sfm/sfmDec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmDec.c b/src/opt/sfm/sfmDec.c index a3fd936a..dbc60e38 100644 --- a/src/opt/sfm/sfmDec.c +++ b/src/opt/sfm/sfmDec.c @@ -175,7 +175,7 @@ Sfm_Dec_t * Sfm_DecStart( Sfm_Par_t * pPars ) for ( i = 0; i < SFM_SUPP_MAX; i++ ) p->pTtElems[i] = p->TtElems[i]; Abc_TtElemInit( p->pTtElems, SFM_SUPP_MAX ); - p->pLib = Sfm_LibPrepare( pPars->nMffcMax + 1, 1, pPars->fVerbose ); + p->pLib = Sfm_LibPrepare( pPars->nMffcMax + 1, 1, !pPars->fArea, pPars->fVerbose ); if ( pPars->fVeryVerbose ) // if ( pPars->fVerbose ) Sfm_LibPrint( p->pLib ); |