From 09a5950c8f8dd52d3883fb914663fd535ea38ae4 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 11 Oct 2014 15:53:32 -0700 Subject: Deriving network in terms of programmable cells. --- src/map/if/ifTune.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/map/if/ifTune.c') 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 ); -- cgit v1.2.3