From 96b9192c783de58f723966358337d26728611c84 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 8 Jul 2021 21:54:07 -0700 Subject: Experiments with MUX decomposition. --- src/aig/gia/giaSimBase.c | 1 + src/map/if/ifCut.c | 8 ++++---- 2 files changed, 5 insertions(+), 4 deletions(-) (limited to 'src') 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; } -- cgit v1.2.3