diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-12 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-12 08:01:00 -0700 |
| commit | 80983617b3f2843a176c8de1fee84de17a507fe9 (patch) | |
| tree | b86f3532e055c1fc6492a5a361404f7b75964c77 /src/sat/sim/simSupp.c | |
| parent | 273ba03041ee4cac93385f180d1397b49f8094ca (diff) | |
| download | abc-80983617b3f2843a176c8de1fee84de17a507fe9.tar.gz abc-80983617b3f2843a176c8de1fee84de17a507fe9.tar.bz2 abc-80983617b3f2843a176c8de1fee84de17a507fe9.zip | |
Version abc50812
Diffstat (limited to 'src/sat/sim/simSupp.c')
| -rw-r--r-- | src/sat/sim/simSupp.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/sat/sim/simSupp.c b/src/sat/sim/simSupp.c index 9f747e0f..3ae1d3ab 100644 --- a/src/sat/sim/simSupp.c +++ b/src/sat/sim/simSupp.c @@ -183,7 +183,7 @@ int Sim_ComputeSuppRoundNode( Sim_Man_t * p, int iNumCi, bool fUseTargets ) // detect the differences in the simulation info Sim_UtilInfoDetectDiffs( p->vSim0->pArray[pNode->Id], p->vSim1->pArray[pNode->Id], p->nSimWords, p->vDiffs ); - // create patterns + // create new patterns Vec_IntForEachEntry( p->vDiffs, LuckyPat, k ) { // set the new pattern @@ -194,6 +194,7 @@ int Sim_ComputeSuppRoundNode( Sim_Man_t * p, int iNumCi, bool fUseTargets ) if ( Sim_SimInfoHasVar( p, pNodeCi, LuckyPat ) ) Sim_SetBit( pPat->pData, v ); Vec_PtrPush( p->vFifo, pPat ); + break; } } } @@ -256,6 +257,13 @@ void Sim_ComputeSuppSetTargets( Sim_Man_t * p ) ***********************************************************************/ void Sim_UtilAssignFromFifo( Sim_Man_t * p ) { + Sim_Pat_t * pPat; + int i; + for ( i = 0; i < p->nSimBits; i++ ) + { + pPat = Vec_PtrPop( p->vFifo ); + + } } //////////////////////////////////////////////////////////////////////// |