diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-16 13:44:38 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-07-16 13:44:38 -0700 |
commit | 6e5a797a6d7551af06c0a0ebf721161ba2b6f44d (patch) | |
tree | bf56a56171d311f9d0c17491a8b3cf7bf4122d16 /src/aig | |
parent | d9aeaade3b29360c65b54f6df734359b3fb452f0 (diff) | |
download | abc-6e5a797a6d7551af06c0a0ebf721161ba2b6f44d.tar.gz abc-6e5a797a6d7551af06c0a0ebf721161ba2b6f44d.tar.bz2 abc-6e5a797a6d7551af06c0a0ebf721161ba2b6f44d.zip |
Command to move CI/CO names.
Diffstat (limited to 'src/aig')
-rw-r--r-- | src/aig/gia/giaMinLut.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaMinLut.c b/src/aig/gia/giaMinLut.c index 6b71fdef..832d5e79 100644 --- a/src/aig/gia/giaMinLut.c +++ b/src/aig/gia/giaMinLut.c @@ -138,6 +138,7 @@ Gia_Man_t * Vec_WrdReadTest( char * pFileName ) Vec_Wec_t * vRes = Vec_WrdReadLayerText( pFileName, &nIns, &nOuts ); int nBitsI = vRes ? Vec_WecMaxLevelSize(vRes) : 0; int nBitsO = vRes ? nOuts / Vec_WecSize(vRes) : 0; + int nWords = Abc_TtWordNum(nBitsI); word * pFuncs = vRes ? Vec_WrdReadTruthText( pFileName, nBitsI, nBitsO, Vec_WecSize(vRes) ) : NULL; Vec_Int_t * vPart, * vLits = Vec_IntAlloc( nOuts ); if ( vRes == NULL || pFuncs == NULL ) @@ -157,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, nBitsI, nBitsO, Abc_TtWordNum(nBitsI), 10, 0 ); + pPart = Gia_TryPermOptCare( pFuncs + i * nBitsO * nWords, nBitsI, nBitsO, nWords, 10, 0 ); Gia_ManFillValue( pPart ); Gia_ManConst0(pPart)->Value = 0; Gia_ManForEachCi( pPart, pObj, k ) |