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 /src/base/wlc | |
| 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.
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 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 ); } |