summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-07-08 21:54:07 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-07-08 21:54:07 -0700
commit96b9192c783de58f723966358337d26728611c84 (patch)
treea299f2a39f0c5a2cf398f604722eeeab6ffabf72
parent5a135c8799d439ad85ac9a0d105721ed80f355be (diff)
downloadabc-96b9192c783de58f723966358337d26728611c84.tar.gz
abc-96b9192c783de58f723966358337d26728611c84.tar.bz2
abc-96b9192c783de58f723966358337d26728611c84.zip
Experiments with MUX decomposition.
-rw-r--r--src/aig/gia/giaSimBase.c1
-rw-r--r--src/map/if/ifCut.c8
2 files changed, 5 insertions, 4 deletions
diff --git a/src/aig/gia/giaSimBase.c b/src/aig/gia/giaSimBase.c
index 9e7033ab..23b2eb31 100644
--- a/src/aig/gia/giaSimBase.c
+++ b/src/aig/gia/giaSimBase.c
@@ -211,6 +211,7 @@ Gia_Man_t * Gia_ManPerformMuxDec( Gia_Man_t * p )
Gia_ManHashAlloc( pNew );
for ( o = 0; o < Gia_ManCoNum(p); o++ )
{
+ Abc_TtReverseVars( pRes+o*nWords, nWords );
Vec_IntClear( vDatas );
for ( i = 0; i < nWords; i++ )
Vec_IntPush( vDatas, Kit_TruthToGia(pNew, (unsigned *)(pRes+o*nWords+i), 6, vMemory, vLeaves, 1) );
diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c
index 42d31790..a2447521 100644
--- a/src/map/if/ifCut.c
+++ b/src/map/if/ifCut.c
@@ -1219,8 +1219,8 @@ float If_CutEdgeDerefed( If_Man_t * p, If_Cut_t * pCut )
return pCut->nLeaves;
aResult2 = If_CutEdgeRef( p, pCut );
aResult = If_CutEdgeDeref( p, pCut );
- assert( aResult > aResult2 - 3*p->fEpsilon );
- assert( aResult < aResult2 + 3*p->fEpsilon );
+// assert( aResult > aResult2 - 3*p->fEpsilon );
+// assert( aResult < aResult2 + 3*p->fEpsilon );
return aResult;
}
@@ -1242,8 +1242,8 @@ float If_CutEdgeRefed( If_Man_t * p, If_Cut_t * pCut )
return pCut->nLeaves;
aResult2 = If_CutEdgeDeref( p, pCut );
aResult = If_CutEdgeRef( p, pCut );
- assert( aResult > aResult2 - p->fEpsilon );
- assert( aResult < aResult2 + p->fEpsilon );
+// assert( aResult > aResult2 - p->fEpsilon );
+// assert( aResult < aResult2 + p->fEpsilon );
return aResult;
}