diff options
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abcMap.c | 3 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index c9159d3f..6400cfd6 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -14474,7 +14474,7 @@ int Abc_CommandMap( Abc_Frame_t * pAbc, int argc, char ** argv ) double DelayMulti; float LogFan = 0; float Slew = 0; // choose based on the library - float Gain = 200; + float Gain = 250; int nGatesMin = 4; int fAreaOnly; int fRecovery; diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index 880fb309..b04a7076 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -76,6 +76,9 @@ Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti, pLib = Abc_SclDeriveGenlib( Abc_FrameReadLibScl(), Slew, Gain, nGatesMin, fVerbose ); if ( Abc_FrameReadLibGen() ) Mio_LibraryTransferDelays( (Mio_Library_t *)Abc_FrameReadLibGen(), pLib ); + // remove supergate library + Map_SuperLibFree( (Map_SuperLib_t *)Abc_FrameReadLibSuper() ); + Abc_FrameSetLibSuper( NULL ); } // quit if there is no library if ( pLib == NULL ) |