diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-15 21:57:42 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-15 21:57:42 -0800 |
| commit | ff1fd41a474849af69fafb66fe1cac2cce7bb61b (patch) | |
| tree | f6044f7ad74fb5a4e00e002b4753e34324d40c6b /src/base/wlc/wlcBlast.c | |
| parent | 5e0d7dadc2c64b119fb72f792d9ff470952c940e (diff) | |
| download | abc-ff1fd41a474849af69fafb66fe1cac2cce7bb61b.tar.gz abc-ff1fd41a474849af69fafb66fe1cac2cce7bb61b.tar.bz2 abc-ff1fd41a474849af69fafb66fe1cac2cce7bb61b.zip | |
Modifications to read SMTLIB file from stdin.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 333b64de..4a935f6b 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -658,6 +658,14 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds ) for ( k = 1; k < nRange; k++ ) Vec_IntPush( vRes, 0 ); } + else if ( pObj->Type == WLC_OBJ_LOGIC_XOR ) + { + int iLit0 = Wlc_BlastReduction( pNew, pFans0, nRange0, WLC_OBJ_REDUCT_OR ); + int iLit1 = Wlc_BlastReduction( pNew, pFans1, nRange1, WLC_OBJ_REDUCT_OR ); + Vec_IntFill( vRes, 1, Gia_ManHashXor(pNew, iLit0, iLit1) ); + for ( k = 1; k < nRange; k++ ) + Vec_IntPush( vRes, 0 ); + } else if ( pObj->Type == WLC_OBJ_COMP_EQU || pObj->Type == WLC_OBJ_COMP_NOTEQU ) { int iLit = 0, nRangeMax = Abc_MaxInt( nRange0, nRange1 ); |