diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 11:07:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-11 11:07:34 -0700 |
| commit | 6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856 (patch) | |
| tree | a932d3800b3dcd220173982289f5bc0c01613a4c /src/base/abci | |
| parent | c89f987dc7aeea7efa4506503446fd22a1cfd7d3 (diff) | |
| download | abc-6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856.tar.gz abc-6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856.tar.bz2 abc-6e8efec57d5ef07ca33a3cefc3c1e6c3f7c70856.zip | |
Experiments with CEC for arithmetic circuits.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 11d61c14..5abc941b 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -39306,15 +39306,18 @@ usage: int Abc_CommandAbc9Polyn( Abc_Frame_t * pAbc, int argc, char ** argv ) { Vec_Int_t * vOrder = NULL; - int c, fSimple = 0, fVerbose = 0, fVeryVerbose = 0; + int c, fSimple = 0, fSigned = 0, fVerbose = 0, fVeryVerbose = 0; Extra_UtilGetoptReset(); - while ( ( c = Extra_UtilGetopt( argc, argv, "svwh" ) ) != EOF ) + while ( ( c = Extra_UtilGetopt( argc, argv, "asvwh" ) ) != EOF ) { switch ( c ) { - case 's': + case 'a': fSimple ^= 1; break; + case 's': + fSigned ^= 1; + break; case 'v': fVerbose ^= 1; break; @@ -39333,14 +39336,15 @@ int Abc_CommandAbc9Polyn( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; } vOrder = fSimple ? NULL : Gia_PolynReorder( pAbc->pGia, fVerbose, fVeryVerbose ); - Gia_PolynBuild( pAbc->pGia, vOrder, fVerbose, fVeryVerbose ); + Gia_PolynBuild( pAbc->pGia, vOrder, fSigned, fVerbose, fVeryVerbose ); Vec_IntFreeP( &vOrder ); return 0; usage: - Abc_Print( -2, "usage: &polyn [-svwh]\n" ); + Abc_Print( -2, "usage: &polyn [-asvwh]\n" ); Abc_Print( -2, "\t derives algebraic polynomial from AIG\n" ); - Abc_Print( -2, "\t-s : toggles simple computation [default = %s]\n", fSimple? "yes": "no" ); + Abc_Print( -2, "\t-a : toggles simple computation [default = %s]\n", fSimple? "yes": "no" ); + Abc_Print( -2, "\t-s : toggles signed computation [default = %s]\n", fSigned? "yes": "no" ); Abc_Print( -2, "\t-v : toggles printing verbose information [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-w : toggles printing very verbose information [default = %s]\n", fVeryVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); |