diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-26 21:46:09 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-26 21:46:09 -0700 |
| commit | 2ccd0f9b85cb42d3e6e894a71cd8e962b2d3bd12 (patch) | |
| tree | 82c6fdc7c57af683b9d9e89ab248ba8d07d620b0 /src/base/abci/abc.c | |
| parent | 23151498faa67c0dd7de23d8fedb1a2976f12a88 (diff) | |
| download | abc-2ccd0f9b85cb42d3e6e894a71cd8e962b2d3bd12.tar.gz abc-2ccd0f9b85cb42d3e6e894a71cd8e962b2d3bd12.tar.bz2 abc-2ccd0f9b85cb42d3e6e894a71cd8e962b2d3bd12.zip | |
Experiments with don't-cares.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 537cdf5b..01bffece 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -5672,7 +5672,7 @@ usage: int Abc_CommandMfse( Abc_Frame_t * pAbc, int argc, char ** argv ) { extern Abc_Ntk_t * Abc_NtkOptMfse( Abc_Ntk_t * pNtk, Acb_Par_t * pPars ); - Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); + Abc_Ntk_t * pNtkNew, * pNtk = Abc_FrameReadNtk(pAbc); Acb_Par_t Pars, * pPars = &Pars; int c; Acb_ParSetDefault( pPars ); Extra_UtilGetoptReset(); @@ -5771,6 +5771,19 @@ int Abc_CommandMfse( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "This command can only be applied to a logic network.\n" ); return 1; } + pPars->nLutSize = Abc_NtkGetFaninMax( pNtk ); + if ( pPars->nLutSize > 6 ) + { + Abc_Print( -1, "Command is only applicable to LUT size no more than 6.\n" ); + return 1; + } + pNtkNew = Abc_NtkOptMfse( pNtk, pPars ); + if ( pNtkNew == NULL ) + { + Abc_Print( -1, "Command \"mfse\" has failed.\n" ); + return 1; + } + Abc_FrameReplaceCurrentNetwork( pAbc, pNtkNew ); return 0; usage: |