diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-11 15:53:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-11 15:53:32 -0700 |
| commit | 09a5950c8f8dd52d3883fb914663fd535ea38ae4 (patch) | |
| tree | 0ea56cc40846909e0d6432d527c0e1f8804fb201 /src/map/if/ifTune.c | |
| parent | f0044175ee8522eda307a67bd35ac86e7353cf52 (diff) | |
| download | abc-09a5950c8f8dd52d3883fb914663fd535ea38ae4.tar.gz abc-09a5950c8f8dd52d3883fb914663fd535ea38ae4.tar.bz2 abc-09a5950c8f8dd52d3883fb914663fd535ea38ae4.zip | |
Deriving network in terms of programmable cells.
Diffstat (limited to 'src/map/if/ifTune.c')
| -rw-r--r-- | src/map/if/ifTune.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index f87d7c11..1f5b13c8 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -770,6 +770,7 @@ int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, Vec_Int_t * vValues, for ( k = 0; k < nMints; k++ ) if ( Vec_IntEntry( vValues, iVar++ ) ) uTruth |= ((word)1 << k); + uTruth = Abc_Tt6Stretch( uTruth, nFans ); // collect function for ( k = 0; k < nFans; k++ ) pFaninLits[k] = pVarMap[pFans[k]]; @@ -781,7 +782,7 @@ int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, Vec_Int_t * vValues, { extern int Kit_TruthToGia( Gia_Man_t * pMan, unsigned * pTruth, int nVars, Vec_Int_t * vMemory, Vec_Int_t * vLeaves, int fHash ); Vec_Int_t Leaves = { nVarsNew, nVarsNew, pFaninLits }; - pVarMap[i] = Kit_TruthToGia( pNew, (unsigned *)uTruth, nVarsNew, vCover, &Leaves, 1 ); // hashing enabled!!! + pVarMap[i] = Kit_TruthToGia( pNew, (unsigned *)&uTruth, nVarsNew, vCover, &Leaves, 1 ); // hashing enabled!!! } } else assert( 0 ); |