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. --- abclib.dsp | 4 ---- src/aig/ssw/sswRarity.c | 8 +++++--- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/abclib.dsp b/abclib.dsp index 32f161d0..3ad6caa4 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -3791,10 +3791,6 @@ SOURCE=.\src\aig\ssw\sswRarity.c # End Source File # Begin Source File -SOURCE=.\src\aig\ssw\sswRarity2.c -# End Source File -# Begin Source File - SOURCE=.\src\aig\ssw\sswSat.c # End Source File # Begin Source File 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