diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-30 19:56:52 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-30 19:56:52 +0700 |
commit | b8de7a28e08a68860a9b88ee47a27841f83b5083 (patch) | |
tree | 2d19a6087d9d9a63665f70a38b44f7458031b992 /src | |
parent | 02711b6392bb12816a9041e5e13e6d0168599085 (diff) | |
download | abc-b8de7a28e08a68860a9b88ee47a27841f83b5083.tar.gz abc-b8de7a28e08a68860a9b88ee47a27841f83b5083.tar.bz2 abc-b8de7a28e08a68860a9b88ee47a27841f83b5083.zip |
Changes to enable smarter simulation.
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/ssw/sswRarity.c | 8 |
1 files changed, 5 insertions, 3 deletions
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 |