diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-27 18:12:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-27 18:12:41 -0700 |
| commit | e8f961671c8174971365c4d49e4aa076ce8a7545 (patch) | |
| tree | f97cd04fa877e5e738024b8c915f5e419d3bb491 /src/base | |
| parent | 62f13100d05d0426ec9f9ed6bed83a562f1b9aad (diff) | |
| download | abc-e8f961671c8174971365c4d49e4aa076ce8a7545.tar.gz abc-e8f961671c8174971365c4d49e4aa076ce8a7545.tar.bz2 abc-e8f961671c8174971365c4d49e4aa076ce8a7545.zip | |
Extending &satlut to work for 6-LUTs.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 2cd9c0b9..632edb78 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -34973,8 +34973,8 @@ usage: ***********************************************************************/ int Abc_CommandAbc9SatLut( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Gia_ManLutSat( Gia_Man_t * p, int nNumber, int nImproves, int nBTLimit, int DelayMax, int nEdges, int fDelay, int fReverse, int fVerbose, int fVeryVerbose ); - int c, nNumber = 32, nImproves = 0, nBTLimit = 100, DelayMax = 0, nEdges = 0; + extern void Gia_ManLutSat( Gia_Man_t * p, int LutSize, int nNumber, int nImproves, int nBTLimit, int DelayMax, int nEdges, int fDelay, int fReverse, int fVerbose, int fVeryVerbose ); + int c, LutSize = 0, nNumber = 32, nImproves = 0, nBTLimit = 100, DelayMax = 0, nEdges = 0; int fDelay = 0, fReverse = 0, fVeryVerbose = 0, fVerbose = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "NICDQdrwvh" ) ) != EOF ) @@ -35059,10 +35059,11 @@ int Abc_CommandAbc9SatLut( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Current AIG has no mapping. Run \"&if\".\n" ); return 1; } - if ( Gia_ManLutSizeMax(pAbc->pGia) > 4 ) - Abc_Print( 0, "Current AIG is mapped into %d-LUTs (only 4-LUT mapping is currently supported).\n", Gia_ManLutSizeMax(pAbc->pGia) ); + LutSize = Gia_ManLutSizeMax(pAbc->pGia); + if ( LutSize > 6 ) + Abc_Print( 0, "Current AIG is mapped into %d-LUTs (only 6-LUT mapping is currently supported).\n", Gia_ManLutSizeMax(pAbc->pGia) ); else - Gia_ManLutSat( pAbc->pGia, nNumber, nImproves, nBTLimit, DelayMax, nEdges, fDelay, fReverse, fVerbose, fVeryVerbose ); + Gia_ManLutSat( pAbc->pGia, LutSize, nNumber, nImproves, nBTLimit, DelayMax, nEdges, fDelay, fReverse, fVerbose, fVeryVerbose ); return 0; usage: |