From 4116e13b5e70ae334acddb88c8bec869f6c9af75 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 8 Jul 2021 21:54:46 -0700 Subject: Experiments with MUX decomposition. --- abclib.dsp | 2 +- src/aig/gia/giaSimBase.c | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/abclib.dsp b/abclib.dsp index c77ea4f4..fcbe343b 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -5103,7 +5103,7 @@ SOURCE=.\src\aig\gia\giaResub2.c # End Source File # Begin Source File -SOURCE=.\src\aig\gia\giaResub3_new.c +SOURCE=.\src\aig\gia\giaResub3.c # End Source File # Begin Source File diff --git a/src/aig/gia/giaSimBase.c b/src/aig/gia/giaSimBase.c index 23b2eb31..9e7033ab 100644 --- a/src/aig/gia/giaSimBase.c +++ b/src/aig/gia/giaSimBase.c @@ -211,7 +211,6 @@ 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) ); -- cgit v1.2.3