From 1692c1a57a74938a396812375f29f0065b5337b7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 13 Oct 2013 23:08:52 -0700 Subject: Improvements to buffering and sizing. --- src/base/abci/abc.c | 4 ++-- src/base/abci/abcMap.c | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'src/base/abci') 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 -- cgit v1.2.3