diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-25 00:09:27 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-01-25 00:09:27 -0800 |
| commit | e4cd0d60f1d2ecf8563c22b51519f3da0125d3be (patch) | |
| tree | c9ab165249306cdea6e7acff77c2ef1d44e68698 /src/aig/gia/giaSim.c | |
| parent | 066e8d1b173d11aeb837ffda56a8ba1bb7ddb214 (diff) | |
| download | abc-e4cd0d60f1d2ecf8563c22b51519f3da0125d3be.tar.gz abc-e4cd0d60f1d2ecf8563c22b51519f3da0125d3be.tar.bz2 abc-e4cd0d60f1d2ecf8563c22b51519f3da0125d3be.zip | |
Experiments with SAT-based simulation.
Diffstat (limited to 'src/aig/gia/giaSim.c')
| -rw-r--r-- | src/aig/gia/giaSim.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/gia/giaSim.c b/src/aig/gia/giaSim.c index 228f6fb4..88e94156 100644 --- a/src/aig/gia/giaSim.c +++ b/src/aig/gia/giaSim.c @@ -1182,7 +1182,7 @@ void Gia_ManIncrSimSet( Gia_Man_t * p, Vec_Int_t * vObjLits ) if ( Gia_ObjIsAnd(Gia_ManObj(p, Abc_Lit2Var(iLit))) ) continue; //assert( Vec_IntEntry(p->vTimeStamps, Abc_Lit2Var(iLit)) == p->iTimeStamp-1 ); - //Vec_IntWriteEntry(p->vTimeStamps, Abc_Lit2Var(iLit), p->iTimeStamp); + Vec_IntWriteEntry(p->vTimeStamps, Abc_Lit2Var(iLit), p->iTimeStamp); if ( Abc_TtGetBit(pSims, p->iPatsPi) == Abc_LitIsCompl(iLit) ) Abc_TtXorBit(pSims, p->iPatsPi); } @@ -1208,6 +1208,7 @@ int Gia_ManIncrSimCheckOver( Gia_Man_t * p, int iLit0, int iLit1 ) Gia_ManIncrSimUpdate( p ); Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit0) ); Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit1) ); +// return 0; // disable return Gia_ManBuiltInSimCheckOver( p, iLit0, iLit1 ); } int Gia_ManIncrSimCheckEqual( Gia_Man_t * p, int iLit0, int iLit1 ) @@ -1216,6 +1217,7 @@ int Gia_ManIncrSimCheckEqual( Gia_Man_t * p, int iLit0, int iLit1 ) Gia_ManIncrSimUpdate( p ); Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit0) ); Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit1) ); +// return 1; // disable return Gia_ManBuiltInSimCheckEqual( p, iLit0, iLit1 ); } |