diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 12:18:15 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 12:18:15 +0300 |
| commit | 13c883e15c683bd2fdcd6f1207866e4fb9587587 (patch) | |
| tree | 01c568a93a6926af9e1cb8323875086645bbbf69 /src/base | |
| parent | 68524cc19c7c85b02e7da7855cf4ec1f2584f27d (diff) | |
| download | abc-13c883e15c683bd2fdcd6f1207866e4fb9587587.tar.gz abc-13c883e15c683bd2fdcd6f1207866e4fb9587587.tar.bz2 abc-13c883e15c683bd2fdcd6f1207866e4fb9587587.zip | |
Adding a warning about handling boxes in &mfs.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 31d75e6a..ff270d8a 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -43675,6 +43675,16 @@ int Abc_CommandAbc9Mfs( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Abc_CommandAbc9Mfs(): The current AIG has no mapping.\n" ); return 0; } + if ( Gia_ManLutSizeMax(pAbc->pGia) > 6 ) + { + Abc_Print( -1, "Abc_CommandAbc9Mfs(): The current mapping has nodes with more than 6 inputs. Cannot use \"mfs\".\n" ); + return 0; + } + if ( pAbc->pGia->pAigExtra && Gia_ManPiNum(pAbc->pGia->pAigExtra) > 6 ) + { + Abc_Print( -1, "Abc_CommandAbc9Mfs(): The current white-boxes have more than 6 inputs. Cannot use \"mfs\".\n" ); + return 0; + } pTemp = Gia_ManPerformMfs( pAbc->pGia, pPars ); Abc_FrameUpdateGia( pAbc, pTemp ); return 0; @@ -43692,7 +43702,7 @@ usage: Abc_Print( -2, "\t-d : toggle performing redundancy removal [default = %s]\n", pPars->fRrOnly? "yes": "no" ); Abc_Print( -2, "\t-a : toggle minimizing area or area+edges [default = %s]\n", pPars->fArea? "area": "area+edges" ); Abc_Print( -2, "\t-e : toggle high-effort resubstitution [default = %s]\n", pPars->fMoreEffort? "yes": "no" ); - Abc_Print( -2, "\t-b : toggle preserving all while boxes [default = %s]\n", pPars->fAllBoxes? "yes": "no" ); + Abc_Print( -2, "\t-b : toggle preserving all white boxes [default = %s]\n", pPars->fAllBoxes? "yes": "no" ); Abc_Print( -2, "\t-v : toggle printing optimization summary [default = %s]\n", pPars->fVerbose? "yes": "no" ); Abc_Print( -2, "\t-w : toggle printing detailed stats for each node [default = %s]\n", pPars->fVeryVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); |