diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 12:08:50 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 12:08:50 -0800 |
| commit | efb8ad0af825ca104d30c77ec3ab91c47d190a85 (patch) | |
| tree | c8dc6450a81c430e2a9ab0a69dcaadf9ff4c8601 /src/opt/sfm/sfmDec.c | |
| parent | 7f65f0d7b27f7ad288d9a277dbdd54dee3b23c56 (diff) | |
| download | abc-efb8ad0af825ca104d30c77ec3ab91c47d190a85.tar.gz abc-efb8ad0af825ca104d30c77ec3ab91c47d190a85.tar.bz2 abc-efb8ad0af825ca104d30c77ec3ab91c47d190a85.zip | |
Extending and improving timing manager.
Diffstat (limited to 'src/opt/sfm/sfmDec.c')
| -rw-r--r-- | src/opt/sfm/sfmDec.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/opt/sfm/sfmDec.c b/src/opt/sfm/sfmDec.c index 536a8bb3..1240a256 100644 --- a/src/opt/sfm/sfmDec.c +++ b/src/opt/sfm/sfmDec.c @@ -25,6 +25,8 @@ #include "misc/util/utilTruth.h" #include "opt/dau/dau.h" #include "map/mio/exp.h" +#include "map/scl/sclCon.h" +#include "base/main/main.h" ABC_NAMESPACE_IMPL_START @@ -212,10 +214,10 @@ p->timeLib = Abc_Clock(); p->timeLib = Abc_Clock() - p->timeLib; if ( !pPars->fArea ) { - if ( p->pMit ) - p->pMit = Sfm_MitStart( pLib, NULL, pNtk, p->DeltaCrit ); + if ( Abc_FrameReadLibScl() ) + p->pMit = Sfm_MitStart( pLib, (SC_Lib *)Abc_FrameReadLibScl(), Scl_ConReadMan(), pNtk, p->DeltaCrit ); else - p->pTim = Sfm_TimStart( pLib, NULL, pNtk, p->DeltaCrit ); + p->pTim = Sfm_TimStart( pLib, Scl_ConReadMan(), pNtk, p->DeltaCrit ); } if ( pPars->fVeryVerbose ) // if ( pPars->fVerbose ) |