diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-20 11:38:51 +0200 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-20 11:38:51 +0200 |
| commit | b78ec9db14bf2325da2ba699048408aa718f4c4a (patch) | |
| tree | 6dc63965febaf46677e42982841b7856c8c346f5 | |
| parent | 66d2201c2be58c82c4b34bce8b6f789e59994c04 (diff) | |
| download | abc-b78ec9db14bf2325da2ba699048408aa718f4c4a.tar.gz abc-b78ec9db14bf2325da2ba699048408aa718f4c4a.tar.bz2 abc-b78ec9db14bf2325da2ba699048408aa718f4c4a.zip | |
Adding support for LUT primitive in NDR.
| -rw-r--r-- | src/base/wlc/wlcNdr.c | 2 | ||||
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/base/wlc/wlcNdr.c b/src/base/wlc/wlcNdr.c index f2c38a65..e5e64329 100644 --- a/src/base/wlc/wlcNdr.c +++ b/src/base/wlc/wlcNdr.c @@ -100,6 +100,7 @@ int Ndr_TypeNdr2Wlc( int Type ) if ( Type == ABC_OPER_DFFRSE ) return WLC_OBJ_FF; // 05: flop if ( Type == ABC_OPER_RAMR ) return WLC_OBJ_READ; // 54: read port if ( Type == ABC_OPER_RAMW ) return WLC_OBJ_WRITE; // 55: write port + if ( Type == ABC_OPER_LUT ) return WLC_OBJ_TABLE; // 55: LUT return -1; } int Ndr_TypeWlc2Ndr( int Type ) @@ -159,6 +160,7 @@ int Ndr_TypeWlc2Ndr( int Type ) if ( Type == WLC_OBJ_FF ) return ABC_OPER_DFFRSE; // 05: flop if ( Type == WLC_OBJ_READ ) return ABC_OPER_RAMR; // 54: read port if ( Type == WLC_OBJ_WRITE ) return ABC_OPER_RAMW; // 55: write port + if ( Type == WLC_OBJ_TABLE ) return ABC_OPER_LUT; // 55: LUT return -1; } diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 6e882bc1..8a1a64bf 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -943,7 +943,7 @@ void Wlc_NtkDupDfs_rec( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, int iObj, Vec_Int_t * v return; if ( Wlc_ObjCopy(p, iObj) ) return; - //printf( "Visiting node %d\n", iObj ); + printf( "Visiting node %d with type %d (%s)\n", iObj, Wlc_NtkObj(p, iObj)->Type, Wlc_NtkObj(p, iObj)->Type < WLC_OBJ_NUMBER ? Wlc_Names[Wlc_NtkObj(p, iObj)->Type] : NULL ); pObj = Wlc_NtkObj( p, iObj ); assert( pObj->Type != WLC_OBJ_FF ); Wlc_ObjForEachFanin( pObj, iFanin, i ) |