diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-10 14:45:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-10 14:45:19 -0700 |
| commit | 2c7f39026a12da14874b2d418d9aa8610e0ab726 (patch) | |
| tree | d978487c7f69b5b04e0c364ac1be0de4332aeb12 /src/map | |
| parent | 33695bed11237e8b2e04e75daa0659070d5605a6 (diff) | |
| download | abc-2c7f39026a12da14874b2d418d9aa8610e0ab726.tar.gz abc-2c7f39026a12da14874b2d418d9aa8610e0ab726.tar.bz2 abc-2c7f39026a12da14874b2d418d9aa8610e0ab726.zip | |
Extending truth table support in &jf for more than 6 inputs.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifTruth.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c index e41acfd6..95831f66 100644 --- a/src/map/if/ifTruth.c +++ b/src/map/if/ifTruth.c @@ -704,7 +704,7 @@ int If_CutComputeTruth3( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_Cut Abc_TtStretch( pTruth1, pCut->nLimit, pCut1->pLeaves, pCut1->nLeaves, pCut->pLeaves, pCut->nLeaves ); fCompl = (pTruth0[0] & pTruth1[0] & 1); Abc_TtAnd( pTruth, pTruth0, pTruth1, nWords, fCompl ); - pCut->nLeaves = Abc_TtMinBase( pTruth, pCut->pLeaves, pCut->nLeaves ); + pCut->nLeaves = Abc_TtMinBase( pTruth, pCut->pLeaves, pCut->nLeaves, pCut->nLimit ); truthId = Vec_MemHashInsert( p->vTtMem, pTruth ); pCut->iDsd = Abc_Var2Lit( truthId, fCompl ); assert( (pTruth[0] & 1) == 0 ); |