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/wln/wlnWriteVer.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/wln/wlnWriteVer.c')
| -rw-r--r-- | src/base/wln/wlnWriteVer.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/base/wln/wlnWriteVer.c b/src/base/wln/wlnWriteVer.c index e0849bf4..e2af56bb 100644 --- a/src/base/wln/wlnWriteVer.c +++ b/src/base/wln/wlnWriteVer.c @@ -184,6 +184,15 @@ void Wln_WriteVerInt( FILE * pFile, Wln_Ntk_t * p ) fprintf( pFile, " s%d_Index(%s, ", iObj, Wln_ObjName(p, Wln_ObjFanin0(p, iObj)) ); fprintf( pFile, "%s)", Wln_ObjName(p, iObj) ); } + else if ( Wln_ObjType(p, iObj) == ABC_OPER_LUT ) + { + // wire [3:0] s4972; LUT lut4972_Index(s4971, s4972); + fprintf( pFile, "%s ; LUT", Wln_ObjName(p, iObj) ); + fprintf( pFile, " lut%d (%s, ", iObj, Wln_ObjName(p, Wln_ObjFanin0(p, iObj)) ); + for ( k = 1; k < Wln_ObjFaninNum(p, iObj); k++ ) + fprintf( pFile, "%s, ", Wln_ObjName(p, Wln_ObjFanin(p, iObj, k)) ); + fprintf( pFile, "%s)", Wln_ObjName(p, iObj) ); + } else if ( Wln_ObjIsConst(p, iObj) ) fprintf( pFile, "%-16s = %s", Wln_ObjName(p, iObj), Wln_ObjConstString(p, iObj) ); else if ( Wln_ObjType(p, iObj) == ABC_OPER_SHIFT_ROTR || Wln_ObjType(p, iObj) == ABC_OPER_SHIFT_ROTL ) |