summaryrefslogtreecommitdiffstats
path: root/src/base/wlc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-03-20 11:38:51 +0200
committerAlan Mishchenko <alanmi@berkeley.edu>2019-03-20 11:38:51 +0200
commitb78ec9db14bf2325da2ba699048408aa718f4c4a (patch)
tree6dc63965febaf46677e42982841b7856c8c346f5 /src/base/wlc
parent66d2201c2be58c82c4b34bce8b6f789e59994c04 (diff)
downloadabc-b78ec9db14bf2325da2ba699048408aa718f4c4a.tar.gz
abc-b78ec9db14bf2325da2ba699048408aa718f4c4a.tar.bz2
abc-b78ec9db14bf2325da2ba699048408aa718f4c4a.zip
Adding support for LUT primitive in NDR.
Diffstat (limited to 'src/base/wlc')
-rw-r--r--src/base/wlc/wlcNdr.c2
-rw-r--r--src/base/wlc/wlcNtk.c2
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 )