diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-13 23:08:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-13 23:08:52 -0700 |
| commit | 1692c1a57a74938a396812375f29f0065b5337b7 (patch) | |
| tree | 8eee10f90bef82325f134dbaadf86d158b92de21 /src/base/abci | |
| parent | a4f80c1d36ee2ea986ac3fd637aa91f97537cdb6 (diff) | |
| download | abc-1692c1a57a74938a396812375f29f0065b5337b7.tar.gz abc-1692c1a57a74938a396812375f29f0065b5337b7.tar.bz2 abc-1692c1a57a74938a396812375f29f0065b5337b7.zip | |
Improvements to buffering and sizing.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 4 | ||||
| -rw-r--r-- | src/base/abci/abcMap.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index a3fa3e36..bfe1bd15 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -14448,8 +14448,8 @@ int Abc_CommandMap( Abc_Frame_t * pAbc, int argc, char ** argv ) double AreaMulti; double DelayMulti; float LogFan = 0; - float Slew = 200; - float Gain = 100; + float Slew = 0; // choose based on the library + float Gain = 200; int nGatesMin = 4; int fAreaOnly; int fRecovery; diff --git a/src/base/abci/abcMap.c b/src/base/abci/abcMap.c index adceb12a..fa1a304d 100644 --- a/src/base/abci/abcMap.c +++ b/src/base/abci/abcMap.c @@ -73,7 +73,7 @@ Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti, // if the library is created here, it will be deleted when pSuperLib is deleted in Map_SuperLibFree() if ( Abc_FrameReadLibScl() ) { - pLib = Abc_SclDeriveGenlib( Abc_FrameReadLibScl(), Slew, Gain, nGatesMin ); + pLib = Abc_SclDeriveGenlib( Abc_FrameReadLibScl(), Slew, Gain, nGatesMin, fVerbose ); if ( Abc_FrameReadLibGen() ) Mio_LibraryTransferDelays( (Mio_Library_t *)Abc_FrameReadLibGen(), pLib ); } @@ -111,7 +111,7 @@ Abc_Ntk_t * Abc_NtkMap( Abc_Ntk_t * pNtk, double DelayTarget, double AreaMulti, Mio_LibraryMultiDelay( (Mio_Library_t *)Abc_FrameReadLibGen(), -DelayMulti ); // print a warning about choice nodes - if ( Abc_NtkGetChoiceNum( pNtk ) ) + if ( fVerbose && Abc_NtkGetChoiceNum( pNtk ) ) printf( "Performing mapping with choices.\n" ); // compute switching activity |