diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-03 18:25:47 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-03 18:25:47 -0700 |
commit | 30ae05f0a5da64f3bdb65dcbecf6bcffa70841a5 (patch) | |
tree | 3d07e03af16c78a0e4b74094e7762eb67868fdb6 /src/base/abci/abc.c | |
parent | e9af6c3ceca2c5f7a5a2deab8d3e3ddb87e32112 (diff) | |
download | abc-30ae05f0a5da64f3bdb65dcbecf6bcffa70841a5.tar.gz abc-30ae05f0a5da64f3bdb65dcbecf6bcffa70841a5.tar.bz2 abc-30ae05f0a5da64f3bdb65dcbecf6bcffa70841a5.zip |
Scalable gate-level abstraction.
Diffstat (limited to 'src/base/abci/abc.c')
-rw-r--r-- | src/base/abci/abc.c | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 794de44a..44617786 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -28112,7 +28112,7 @@ int Abc_CommandAbc9Gla( Abc_Frame_t * pAbc, int argc, char ** argv ) int c, fStartVta = 0, fNewAlgo = 0; Gia_VtaSetDefaultParams( pPars ); Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "FSPCLDETRAtrfkadnscbwvh" ) ) != EOF ) + while ( ( c = Extra_UtilGetopt( argc, argv, "FSCLDETRPAtrfkadnscbwvh" ) ) != EOF ) { switch ( c ) { @@ -28138,17 +28138,6 @@ int Abc_CommandAbc9Gla( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( pPars->nFramesStart < 0 ) goto usage; break; - case 'P': - if ( globalUtilOptind >= argc ) - { - Abc_Print( -1, "Command line switch \"-P\" should be followed by an integer.\n" ); - goto usage; - } - pPars->nFramesPast = atoi(argv[globalUtilOptind]); - globalUtilOptind++; - if ( pPars->nFramesPast < 0 ) - goto usage; - break; case 'C': if ( globalUtilOptind >= argc ) { @@ -28215,6 +28204,17 @@ int Abc_CommandAbc9Gla( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( pPars->nRatioMin < 0 ) goto usage; break; + case 'P': + if ( globalUtilOptind >= argc ) + { + Abc_Print( -1, "Command line switch \"-P\" should be followed by an integer.\n" ); + goto usage; + } + pPars->nRatioMax = atoi(argv[globalUtilOptind]); + globalUtilOptind++; + if ( pPars->nRatioMax < 0 ) + goto usage; + break; case 'A': if ( globalUtilOptind >= argc ) { @@ -28302,7 +28302,7 @@ int Abc_CommandAbc9Gla( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: &gla [-FSCLDETR num] [-A file] [-fkadnscbwvh]\n" ); + Abc_Print( -2, "usage: &gla [-FSCLDETRP num] [-A file] [-fkadnscbwvh]\n" ); Abc_Print( -2, "\t fixed-time-frame gate-level proof- and cex-based abstraction\n" ); Abc_Print( -2, "\t-F num : the max number of timeframes to unroll [default = %d]\n", pPars->nFramesMax ); Abc_Print( -2, "\t-S num : the starting time frame (0=unused) [default = %d]\n", pPars->nFramesStart ); @@ -28312,6 +28312,7 @@ usage: Abc_Print( -2, "\t-E num : ratio percentage for learned clause removal [default = %d]\n", pPars->nLearnedPerce ); Abc_Print( -2, "\t-T num : an approximate timeout, in seconds [default = %d]\n", pPars->nTimeOut ); Abc_Print( -2, "\t-R num : minimum percentage of abstracted objects (0<=num<=100) [default = %d]\n", pPars->nRatioMin ); + Abc_Print( -2, "\t-P num : maximum percentage of added objects before a restart (0<=num<=100) [default = %d]\n", pPars->nRatioMax ); Abc_Print( -2, "\t-A file : file name for dumping abstrated model [default = \"glabs.aig\"]\n" ); Abc_Print( -2, "\t-f : toggle propagating fanout implications [default = %s]\n", pPars->fPropFanout? "yes": "no" ); Abc_Print( -2, "\t-k : toggle using VTA to kick start GLA for starting frames [default = %s]\n", fStartVta? "yes": "no" ); |