From b8de7a28e08a68860a9b88ee47a27841f83b5083 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 30 Jul 2011 19:56:52 +0700 Subject: Changes to enable smarter simulation. --- src/aig/ssw/sswRarity.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/aig/ssw/sswRarity.c') diff --git a/src/aig/ssw/sswRarity.c b/src/aig/ssw/sswRarity.c index 3ebc7799..f3c0b967 100644 --- a/src/aig/ssw/sswRarity.c +++ b/src/aig/ssw/sswRarity.c @@ -127,7 +127,9 @@ void Ssw_RarManAssingRandomPis( Ssw_RarMan_t * p ) pSim = Ssw_RarObjSim( p, Aig_ObjId(pObj) ); for ( w = 0; w < p->nWords; w++ ) pSim[w] = Aig_ManRandom64(0); - pSim[0] <<= 1; +// pSim[0] <<= 1; +// pSim[0] = (pSim[0] << 2) | 2; + pSim[0] = (pSim[0] << 4) | ((i & 1) ? 0xA : 0xC); } } @@ -908,7 +910,7 @@ finish: if ( r == nRounds && f == nFrames ) { if ( fVerbose ) printf( "\n" ); - printf( "Simulation did not assert POs in the first %d frames. ", nRounds * nFrames ); + printf( "Simulation did not assert POs in the first %d frames. ", nRounds * nFrames ); Abc_PrintTime( 1, "Time", clock() - clkTotal ); } // cleanup @@ -1045,7 +1047,7 @@ finish: { if ( !fVerbose ) printf( "\r" ); - printf( "Simulation did not assert POs in the first %d frames. ", nRounds * nFrames ); + printf( "Simulation did not assert POs in the first %d frames. ", nRounds * nFrames ); Abc_PrintTime( 1, "Time", clock() - clkTotal ); } // cleanup -- cgit v1.2.3