diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-18 13:58:22 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-18 13:58:22 +0800 |
| commit | 65ee47c51522bd75a1aad0edac4ab10184436e92 (patch) | |
| tree | f2f81d4af90af64f00f531e68951665ab0d21a23 /src/base/wlc/wlcNtk.c | |
| parent | b2ad140adb64fe5913e086b94aaa53d54d654f98 (diff) | |
| download | abc-65ee47c51522bd75a1aad0edac4ab10184436e92.tar.gz abc-65ee47c51522bd75a1aad0edac4ab10184436e92.tar.bz2 abc-65ee47c51522bd75a1aad0edac4ab10184436e92.zip | |
Supporting bit-wise XNOR operator in Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 0e4f24a2..852d8062 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -50,6 +50,7 @@ static char * Wlc_Names[WLC_OBJ_NUMBER+1] = { "&", // 16: bitwise AND "|", // 17: bitwise OR "^", // 18: bitwise XOR + "~|", // 18: bitwise NXOR "[:]", // 19: bit selection "{,}", // 20: bit concatenation "zeroPad", // 21: zero padding @@ -360,6 +361,8 @@ void Wlc_NtkPrintDistrib( Wlc_Ntk_t * p, int fVerbose ) Vec_IntAddToEntry( vAnds, WLC_OBJ_BIT_OR, Wlc_ObjRange(Wlc_ObjFanin0(p, pObj)) ); else if ( pObj->Type == WLC_OBJ_BIT_XOR ) Vec_IntAddToEntry( vAnds, WLC_OBJ_BIT_XOR, 3 * Wlc_ObjRange(Wlc_ObjFanin0(p, pObj)) ); + else if ( pObj->Type == WLC_OBJ_BIT_NXOR ) + Vec_IntAddToEntry( vAnds, WLC_OBJ_BIT_NXOR, 3 * Wlc_ObjRange(Wlc_ObjFanin0(p, pObj)) ); else if ( pObj->Type == WLC_OBJ_BIT_SELECT ) Vec_IntAddToEntry( vAnds, WLC_OBJ_BIT_SELECT, 0 ); else if ( pObj->Type == WLC_OBJ_BIT_CONCAT ) |