diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-08 21:54:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-08 21:54:07 -0700 |
| commit | 96b9192c783de58f723966358337d26728611c84 (patch) | |
| tree | a299f2a39f0c5a2cf398f604722eeeab6ffabf72 /src/aig | |
| parent | 5a135c8799d439ad85ac9a0d105721ed80f355be (diff) | |
| download | abc-96b9192c783de58f723966358337d26728611c84.tar.gz abc-96b9192c783de58f723966358337d26728611c84.tar.bz2 abc-96b9192c783de58f723966358337d26728611c84.zip | |
Experiments with MUX decomposition.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaSimBase.c | 1 |
1 files changed, 1 insertions, 0 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) ); |