diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-10-09 23:51:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-10-09 23:51:40 -0700 |
| commit | 813a0f1ff1ae7512cb7947f54cd3f2ab252848c8 (patch) | |
| tree | f2feba384a1cbfaa2c18c7d00c31335f2a97c73b /src/base/abci | |
| parent | 5fb4912559380dfcb55e76c23d3fa69c0da454f8 (diff) | |
| download | abc-813a0f1ff1ae7512cb7947f54cd3f2ab252848c8.tar.gz abc-813a0f1ff1ae7512cb7947f54cd3f2ab252848c8.tar.bz2 abc-813a0f1ff1ae7512cb7947f54cd3f2ab252848c8.zip | |
Updating features of &if mapper.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index cddf0b51..a65b37e2 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -39554,7 +39554,8 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->fUse34Spec ^= 1; break; case 'b': - pPars->fUseBat ^= 1; + //pPars->fUseBat ^= 1; + pPars->fUseCheck1 ^= 1; break; case 'g': pPars->fDelayOpt ^= 1; @@ -39575,7 +39576,8 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->fEnableCheck75u ^= 1; break; case 'i': - pPars->fUseCofVars ^= 1; + //pPars->fUseCofVars ^= 1; + pPars->fUseCheck2 ^= 1; break; // case 'j': // pPars->fEnableCheck07 ^= 1; @@ -39688,6 +39690,16 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->pFuncCell = If_CutPerformCheck07; pPars->fCutMin = 1; } + if ( pPars->fUseCheck1 || pPars->fUseCheck2 ) + { + if ( pPars->nLutSize > 6 ) + { + Abc_Print( -1, "This feature only works for no more than 6-LUTs.\n" ); + return 1; + } + pPars->pFuncCell = pPars->fUseCheck2 ? If_MatchCheck2 : If_MatchCheck1; + pPars->fCutMin = 1; + } if ( pPars->fUseCofVars ) { if ( !(pPars->nLutSize & 1) ) |