diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-10 21:43:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-10 21:43:41 -0800 |
| commit | 2a028aa147837e83e226a025e0c8d244c59716df (patch) | |
| tree | 60df399942d7c85046a10b9f39ce9ae01d5ebad0 /src/base/wlc | |
| parent | ac030ee42cf4eb28bc4ae3a14e86e37261af7a4a (diff) | |
| download | abc-2a028aa147837e83e226a025e0c8d244c59716df.tar.gz abc-2a028aa147837e83e226a025e0c8d244c59716df.tar.bz2 abc-2a028aa147837e83e226a025e0c8d244c59716df.zip | |
Bug fix in blasting MUX with different ranges of inputs and the output.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 24b653c8..94d04760 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -441,9 +441,9 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p ) Wlc_ObjForEachFanin( pObj, iFanin, k ) { if ( !k ) continue; - assert( nRange == Wlc_ObjRange(Wlc_NtkObj(p, iFanin)) ); + //assert( nRange == Wlc_ObjRange(Wlc_NtkObj(p, iFanin)) ); pFans1 = Vec_IntEntryP( vBits, Wlc_ObjCopy(p, iFanin) ); - Vec_IntPush( vTemp0, pFans1[b] ); + Vec_IntPush( vTemp0, b < Wlc_ObjRange(Wlc_NtkObj(p, iFanin)) ? pFans1[b] : 0 ); } Vec_IntPush( vRes, Wlc_NtkMuxTree_rec(pNew, pFans0, nRange0, vTemp0, 0) ); } |