diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-30 19:51:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-30 19:51:39 -0700 |
| commit | ed1bf0000e5f2e7538274057f94261fc0eae0e30 (patch) | |
| tree | bef812dd38198578d50b54b80522a132434725e4 /src/base/wlc/wlcNtk.c | |
| parent | 69519f86cd641dc83da31b79e3b695c7a0165cf6 (diff) | |
| download | abc-ed1bf0000e5f2e7538274057f94261fc0eae0e30.tar.gz abc-ed1bf0000e5f2e7538274057f94261fc0eae0e30.tar.bz2 abc-ed1bf0000e5f2e7538274057f94261fc0eae0e30.zip | |
Improvements to bit-blaster.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 933e9585..55448c11 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -295,8 +295,13 @@ void Wlc_NtkPrintDistrib( Wlc_Ntk_t * p, int fVerbose ) pObj->Type == WLC_OBJ_BIT_NOT || pObj->Type == WLC_OBJ_LOGIC_NOT || pObj->Type == WLC_OBJ_ARI_MINUS ) Sign = Wlc_NtkPrintDistribMakeSign( Wlc_ObjSign(pObj), Wlc_ObjSign(Wlc_ObjFanin0(p, pObj)), 0 ); // 2-input types (including MUX) - else + else if ( Wlc_ObjFaninNum(pObj) == 1 ) + Sign = Wlc_NtkPrintDistribMakeSign( Wlc_ObjSign(pObj), Wlc_ObjSign(Wlc_ObjFanin0(p, pObj)), 0 ); + else + { + assert( Wlc_ObjFaninNum(pObj) >= 2 ); Sign = Wlc_NtkPrintDistribMakeSign( Wlc_ObjSign(pObj), Wlc_ObjSign(Wlc_ObjFanin0(p, pObj)), Wlc_ObjSign(Wlc_ObjFanin1(p, pObj)) ); + } // add to storage Wlc_NtkPrintDistribAddOne( vTypes, vOccurs, pObj->Type, Sign ); } |