diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 11:00:18 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 11:00:18 -0700 |
commit | 8e753fc376426531f45a26d4b674942d8dd063a0 (patch) | |
tree | c0345399cf125736068eb77654763a5bda61edbc /src/map/scl/sclTime.c | |
parent | 9cbe102b5223c8507d2cc4a9630ad5ae2c69faaa (diff) | |
download | abc-8e753fc376426531f45a26d4b674942d8dd063a0.tar.gz abc-8e753fc376426531f45a26d4b674942d8dd063a0.tar.bz2 abc-8e753fc376426531f45a26d4b674942d8dd063a0.zip |
Improvements to gate sizing.
Diffstat (limited to 'src/map/scl/sclTime.c')
-rw-r--r-- | src/map/scl/sclTime.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 261e8c75..c684c2df 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -336,9 +336,12 @@ SC_Man * Abc_SclManStart( SC_Lib * pLib, Abc_Ntk_t * pNtk, int fUseWireLoads ) ***********************************************************************/ void Abc_SclTimePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int fUseWireLoads, int fShowAll, int fShort ) { + int fDumpStats = 0; SC_Man * p; p = Abc_SclManStart( pLib, pNtk, fUseWireLoads ); Abc_SclTimeNtkPrint( p, fShowAll, fShort ); + if ( fDumpStats ) + Abc_SclDumpStats( p, "stats.txt", 0 ); Abc_SclManFree( p ); } |