summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMinLut.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-08-02 16:46:56 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-08-02 16:46:56 -0700
commit5f8d4e72d1d99539d100ca5c190c56c5901976e6 (patch)
tree920c21100eaab65f24ea8649cfccb52822328996 /src/aig/gia/giaMinLut.c
parent03bb1e49bfcc148faaa4981bb3d758514adfeb4d (diff)
downloadabc-5f8d4e72d1d99539d100ca5c190c56c5901976e6.tar.gz
abc-5f8d4e72d1d99539d100ca5c190c56c5901976e6.tar.bz2
abc-5f8d4e72d1d99539d100ca5c190c56c5901976e6.zip
Experiments with LUT mapping for small functions.
Diffstat (limited to 'src/aig/gia/giaMinLut.c')
-rw-r--r--src/aig/gia/giaMinLut.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMinLut.c b/src/aig/gia/giaMinLut.c
index 80d4476e..957ee2c0 100644
--- a/src/aig/gia/giaMinLut.c
+++ b/src/aig/gia/giaMinLut.c
@@ -158,7 +158,7 @@ Gia_Man_t * Vec_WrdReadTest( char * pFileName )
Vec_WecForEachLevel( vRes, vPart, i )
{
assert( Vec_IntSize(vPart) <= nBitsI );
- pPart = Gia_TryPermOptCare( pFuncs + i * nBitsO * nWords, nBitsI, nBitsO, nWords, 10, 0 );
+ pPart = Gia_TryPermOptCare( pFuncs + i * nBitsO * nWords, nBitsI, nBitsO, nWords, 20, 0 );
Gia_ManFillValue( pPart );
Gia_ManConst0(pPart)->Value = 0;
Gia_ManForEachCi( pPart, pObj, k )