From 362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 5 Apr 2019 21:08:46 -1000 Subject: Supporting LUT in NDR and WLC. --- src/base/wlc/wlcWriteVer.c | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/base/wlc/wlcWriteVer.c') diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index 90d49ade..13bc3b26 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -203,6 +203,15 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p, int fNoFlops ) fprintf( pFile, " s%d_Index(%s, ", i, Wlc_ObjName(p, Wlc_ObjFaninId0(pObj)) ); fprintf( pFile, "%s)", Wlc_ObjName(p, i) ); } + else if ( pObj->Type == WLC_OBJ_LUT ) + { + // wire [3:0] s4972; LUT lut4972_Index(s4971, s4972); + fprintf( pFile, "%s ; LUT", Wlc_ObjName(p, i) ); + fprintf( pFile, " lut%d (%s, ", i, Wlc_ObjName(p, Wlc_ObjFaninId0(pObj)) ); + for ( k = 1; k < Wlc_ObjFaninNum(pObj); k++ ) + fprintf( pFile, "%s, ", Wlc_ObjName(p, Wlc_ObjFaninId(pObj, k)) ); + fprintf( pFile, "%s)", Wlc_ObjName(p, i) ); + } else if ( pObj->Type == WLC_OBJ_CONST ) { fprintf( pFile, "%-16s = %d\'%sh", Wlc_ObjName(p, i), Wlc_ObjRange(pObj), Wlc_ObjIsSigned(pObj) ? "s":"" ); -- cgit v1.2.3