diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 00:24:54 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 00:24:54 -0400 |
commit | ea9c1c0bffaaab84fcff24272b9b5788c63d9a58 (patch) | |
tree | b1f039ad88fbf8affb1575ddeccfca7190cc0605 | |
parent | a4d5a9b5bc6a8547324aa283ed777ee95009dd15 (diff) | |
download | abc-ea9c1c0bffaaab84fcff24272b9b5788c63d9a58.tar.gz abc-ea9c1c0bffaaab84fcff24272b9b5788c63d9a58.tar.bz2 abc-ea9c1c0bffaaab84fcff24272b9b5788c63d9a58.zip |
Added support of word-level MUXes represented as 'always'-statements.
-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 418c2fa6..bb781145 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -355,7 +355,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p ) // create primary inputs Wlc_NtkForEachObj( p, pObj, i ) { - char * pName = Wlc_ObjName(p, i); +// char * pName = Wlc_ObjName(p, i); nRange = Wlc_ObjRange( pObj ); nRange0 = Wlc_ObjFaninNum(pObj) > 0 ? Wlc_ObjRange( Wlc_ObjFanin0(p, pObj) ) : -1; nRange1 = Wlc_ObjFaninNum(pObj) > 1 ? Wlc_ObjRange( Wlc_ObjFanin1(p, pObj) ) : -1; @@ -522,7 +522,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p ) int fCompl = (pObj->Type == WLC_OBJ_COMP_MOREEQU || pObj->Type == WLC_OBJ_COMP_LESSEQU); assert( nRange == 1 ); if ( fSwap ) ABC_SWAP( int *, pFans0, pFans1 ); - iLit = Wlc_BlastLess( pNew, pFans0, pFans1, nRangeMax ); + iLit = Wlc_BlastLess( pNew, pArg0, pArg1, nRangeMax ); iLit = Abc_LitNotCond( iLit, fCompl ); Vec_IntFill( vRes, 1, iLit ); } |