From 43d8b8bece095d86cb927bf1d5ccac9aa1fab4e2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 30 Jul 2011 20:19:28 +0700 Subject: Changes to enable smarter simulation. --- src/aig/ssw/sswRarity.c | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/aig/ssw') diff --git a/src/aig/ssw/sswRarity.c b/src/aig/ssw/sswRarity.c index f3c0b967..365e4b6a 100644 --- a/src/aig/ssw/sswRarity.c +++ b/src/aig/ssw/sswRarity.c @@ -833,7 +833,12 @@ static Vec_Int_t * Ssw_RarFindStartingState( Aig_Man_t * pAig, Abc_Cex_t * pCex // record the new pattern vInit = Vec_IntAlloc( Saig_ManRegNum(pAig) ); Saig_ManForEachLo( pAig, pObj, i ) + { +//printf( "%d", pObj->fMarkB ); Vec_IntPush( vInit, pObj->fMarkB ); + } +//printf( "\n" ); + Aig_ManCleanMarkB( pAig ); return vInit; } @@ -975,7 +980,10 @@ int Ssw_RarSignalFilter( Aig_Man_t * pAig, int nFrames, int nWords, int nBinSize // compute starting state if needed assert( p->vInits == NULL ); if ( pCex ) + { p->vInits = Ssw_RarFindStartingState( pAig, pCex ); + printf( "Beginning simulation from the state derived using the counter-example.\n" ); + } else p->vInits = Vec_IntStart( Aig_ManRegNum(pAig) ); // duplicate the array -- cgit v1.2.3