diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 12:22:59 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-04 12:22:59 -0700 |
commit | 6b2744ff771eb71b5246aa9930ea5ff8862e106d (patch) | |
tree | 7d25a33233e84fd00834809392143580eed5f86e /src/map/scl/sclInt.h | |
parent | b26d698ff8dc7f95fdfed7a4560422893e274bf8 (diff) | |
download | abc-6b2744ff771eb71b5246aa9930ea5ff8862e106d.tar.gz abc-6b2744ff771eb71b5246aa9930ea5ff8862e106d.tar.bz2 abc-6b2744ff771eb71b5246aa9930ea5ff8862e106d.zip |
Improving print-outs in 'stime' and 'gsize'.
Diffstat (limited to 'src/map/scl/sclInt.h')
-rw-r--r-- | src/map/scl/sclInt.h | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/src/map/scl/sclInt.h b/src/map/scl/sclInt.h index be9b49b0..c674c82e 100644 --- a/src/map/scl/sclInt.h +++ b/src/map/scl/sclInt.h @@ -60,6 +60,20 @@ typedef enum // -- timing sense, positive-, negative- or non-unate sc_ts_Non, } SC_TSense; +typedef struct SC_SizePars_ SC_SizePars; +struct SC_SizePars_ +{ + int nSteps; + int nRange; + int nRangeF; + int nTimeOut; + int fTryAll; + int fUseWireLoads; + int fPrintCP; + int fVerbose; + int fVeryVerbose; +}; + //////////////////////////////////////////////////////////////////////// /// STRUCTURE DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -418,9 +432,9 @@ extern void Abc_SclWriteText( char * pFileName, SC_Lib * p ); extern void Abc_SclLoad( char * pFileName, SC_Lib ** ppScl ); extern void Abc_SclSave( char * pFileName, SC_Lib * pScl ); /*=== sclTime.c =============================================================*/ -extern void Abc_SclTimePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int fShowAll ); +extern void Abc_SclTimePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int fShowAll, int fUseWireLoads ); /*=== sclSize.c =============================================================*/ -extern void Abc_SclSizingPerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int nSteps, int nRange, int nRangeF, int nTimeOut, int fTryAll, int fPrintCP, int fVerbose, int fVeryVerbose ); +extern void Abc_SclSizingPerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, SC_SizePars * p ); /*=== sclUtil.c =============================================================*/ extern void Abc_SclHashCells( SC_Lib * p ); extern int Abc_SclCellFind( SC_Lib * p, char * pName ); |