diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-05 21:08:46 -1000 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-05 21:08:46 -1000 |
| commit | 362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54 (patch) | |
| tree | 1b530ec6aaf1242abc6f94022106a547c91381ff /src/base/wlc/wlcWriteVer.c | |
| parent | 0739bd7f03eacdb11034d166e5b799f2e59796fc (diff) | |
| download | abc-362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54.tar.gz abc-362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54.tar.bz2 abc-362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54.zip | |
Supporting LUT in NDR and WLC.
Diffstat (limited to 'src/base/wlc/wlcWriteVer.c')
| -rw-r--r-- | src/base/wlc/wlcWriteVer.c | 9 |
1 files changed, 9 insertions, 0 deletions
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":"" ); |