diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
| commit | 8efc9cb7a97ef16de0869656c7bf00f4e2111594 (patch) | |
| tree | ba397c1907dd7210f803522bd39ed2b405c22a28 /src/base/wlc/wlcNtk.c | |
| parent | 43ad54b9388f0b858f4401e77cfd5d7200819b93 (diff) | |
| download | abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.gz abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.bz2 abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.zip | |
Bug fixing in %blast when blasting mod operator (handling zero divisor).
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 11f63d17..4259493a 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -531,6 +531,8 @@ Wlc_Ntk_t * Wlc_NtkDupSingleNodes( Wlc_Ntk_t * p ) continue; if ( pObj->Type == WLC_OBJ_ARI_MULTI ) continue; + if ( pObj->Type == WLC_OBJ_MUX && Wlc_ObjFaninNum(pObj) > 3 ) + continue; // create CIs for the fanins Wlc_ObjForEachFanin( pObj, iFanin, k ) { |