Adding support of reading and writing designs using a new internal format.

4 files changed, 362 insertions, 4 deletions

diff --git a/src/base/wlc/module.make b/src/base/wlc/module.make
index 32586c9e..c722f6f3 100644
--- a/src/base/wlc/module.make
+++ b/src/base/wlc/module.make
@@ -6,6 +6,7 @@ SRC +=    src/base/wlc/wlcAbs.c \
     src/base/wlc/wlcCom.c \
     src/base/wlc/wlcGraft.c \
     src/base/wlc/wlcJson.c \
+    src/base/wlc/wlcNdr.c \
     src/base/wlc/wlcNtk.c \
     src/base/wlc/wlcReadSmt.c \
     src/base/wlc/wlcReadVer.c \
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h
index 7f81ec72..61a71b65 100644
--- a/src/base/wlc/wlc.h
+++ b/src/base/wlc/wlc.h
@@ -328,6 +328,9 @@ extern int            Wlc_NtkAbsCore2( Wlc_Ntk_t * p, Wlc_Par_t * pPars );
 extern Gia_Man_t *    Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds, int iOutput, int nRange, int fGiaSimple, int fAddOutputs, int fBooth, int fNoCleanup, int fCreateMiter, int fDecMuxes );
 /*=== wlcCom.c ========================================================*/
 extern void           Wlc_SetNtk( Abc_Frame_t * pAbc, Wlc_Ntk_t * pNtk );
+/*=== wlcNdr.c ========================================================*/
+extern Wlc_Ntk_t *    Wlc_ReadNdr( char * pFileName );
+extern void           Wlc_WriteNdr( Wlc_Ntk_t * pNtk, char * pFileName );
 /*=== wlcNtk.c ========================================================*/
 extern void           Wlc_ManSetDefaultParams( Wlc_Par_t * pPars );
 extern char *         Wlc_ObjTypeName( Wlc_Obj_t * p );
diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c
index d824ef31..8f7592d6 100644
--- a/src/base/wlc/wlcCom.c
+++ b/src/base/wlc/wlcCom.c
@@ -176,7 +176,7 @@ int Abc_CommandReadWlc( Abc_Frame_t * pAbc, int argc, char ** argv )
     if ( (pFile = fopen( pFileName, "r" )) == NULL )
     {
         Abc_Print( 1, "Cannot open input file \"%s\". ", pFileName );
-        if ( (pFileName = Extra_FileGetSimilarName( pFileName, ".v", ".smt", ".smt2", NULL, NULL )) )
+        if ( (pFileName = Extra_FileGetSimilarName( pFileName, ".v", ".smt", ".smt2", ".ndr", NULL )) )
             Abc_Print( 1, "Did you mean \"%s\"?", pFileName );
         Abc_Print( 1, "\n" );
         return 0;
@@ -188,6 +188,8 @@ int Abc_CommandReadWlc( Abc_Frame_t * pAbc, int argc, char ** argv )
         pNtk = Wlc_ReadVer( pFileName, NULL );
     else if ( !strcmp( Extra_FileNameExtension(pFileName), "smt" ) || !strcmp( Extra_FileNameExtension(pFileName), "smt2" )  )
         pNtk = Wlc_ReadSmt( pFileName, fOldParser, fPrintTree );
+    else if ( !strcmp( Extra_FileNameExtension(pFileName), "ndr" )  )
+        pNtk = Wlc_ReadNdr( pFileName );
     else
     {
         printf( "Abc_CommandReadWlc(): Unknown file extension.\n" );
@@ -261,7 +263,9 @@ int Abc_CommandWriteWlc( Abc_Frame_t * pAbc, int argc, char ** argv )
         printf( "Output file name should be given on the command line.\n" );
         return 0;
     }
-    if ( fSplitNodes )
+    if ( !strcmp( Extra_FileNameExtension(pFileName), "ndr" )  )
+        Wlc_WriteNdr( pNtk, pFileName );
+    else if ( fSplitNodes )
     {
         pNtk = Wlc_NtkDupSingleNodes( pNtk );
         Wlc_WriteVer( pNtk, pFileName, fAddCos, fNoFlops );
@@ -1205,8 +1209,9 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
     //Wlc_AbcUpdateNtk( pAbc, pNtk );
     //Wlc_GenerateSmtStdout( pAbc );
     //Wlc_NtkSimulateTest( (Wlc_Ntk_t *)pAbc->pAbcWlc );
-    pNtk = Wlc_NtkDupSingleNodes( pNtk );
-    Wlc_AbcUpdateNtk( pAbc, pNtk );
+    //pNtk = Wlc_NtkDupSingleNodes( pNtk );
+    //Wlc_AbcUpdateNtk( pAbc, pNtk );
+    //Wlc_ReadNdrTest( pNtk );
     return 0;
 usage:
     Abc_Print( -2, "usage: %%test [-vh]\n" );
diff --git a/src/base/wlc/wlcNdr.c b/src/base/wlc/wlcNdr.c
new file mode 100644
index 00000000..0d5c8a41
--- /dev/null
+++ b/src/base/wlc/wlcNdr.c
@@ -0,0 +1,349 @@
+/**CFile****************************************************************
+
+  FileName    [wlcNdr.c]
+
+  SystemName  [ABC: Logic synthesis and verification system.]
+
+  PackageName [Experimental procedures.]
+
+  Synopsis    [Constructing WLC network from NDR data structure.]
+
+  Author      [Alan Mishchenko]
+  
+  Affiliation [UC Berkeley]
+
+  Date        [Ver. 1.0. Started - August 22, 2014.]
+
+  Revision    [$Id: wlcNdr.c,v 1.00 2014/09/12 00:00:00 alanmi Exp $]
+
+***********************************************************************/
+
+#include "wlc.h"
+#include "aig/miniaig/ndr.h"
+
+ABC_NAMESPACE_IMPL_START
+
+////////////////////////////////////////////////////////////////////////
+///                        DECLARATIONS                              ///
+////////////////////////////////////////////////////////////////////////
+
+////////////////////////////////////////////////////////////////////////
+///                     FUNCTION DEFINITIONS                         ///
+////////////////////////////////////////////////////////////////////////
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+int Ndr_TypeNdr2Wlc( int Type )
+{
+    if ( Type == ABC_OPER_CONST )         return WLC_OBJ_CONST;         // 06: constant
+    if ( Type == ABC_OPER_BIT_BUF )       return WLC_OBJ_BUF;           // 07: buffer
+    if ( Type == ABC_OPER_BIT_MUX )       return WLC_OBJ_MUX;           // 08: multiplexer
+    if ( Type == ABC_OPER_SHIFT_R )       return WLC_OBJ_SHIFT_R;       // 09: shift right
+    if ( Type == ABC_OPER_SHIFT_RA )      return WLC_OBJ_SHIFT_RA;      // 10: shift right (arithmetic)
+    if ( Type == ABC_OPER_SHIFT_L )       return WLC_OBJ_SHIFT_L;       // 11: shift left
+    if ( Type == ABC_OPER_SHIFT_LA )      return WLC_OBJ_SHIFT_LA;      // 12: shift left (arithmetic)
+    if ( Type == ABC_OPER_SHIFT_ROTR )    return WLC_OBJ_ROTATE_R;      // 13: rotate right
+    if ( Type == ABC_OPER_SHIFT_ROTL )    return WLC_OBJ_ROTATE_L;      // 14: rotate left
+    if ( Type == ABC_OPER_BIT_INV )       return WLC_OBJ_BIT_NOT;       // 15: bitwise NOT
+    if ( Type == ABC_OPER_BIT_AND )       return WLC_OBJ_BIT_AND;       // 16: bitwise AND
+    if ( Type == ABC_OPER_BIT_OR )        return WLC_OBJ_BIT_OR;        // 17: bitwise OR
+    if ( Type == ABC_OPER_BIT_XOR )       return WLC_OBJ_BIT_XOR;       // 18: bitwise XOR
+    if ( Type == ABC_OPER_BIT_NAND )      return WLC_OBJ_BIT_NAND;      // 19: bitwise AND
+    if ( Type == ABC_OPER_BIT_NOR )       return WLC_OBJ_BIT_NOR;       // 20: bitwise OR
+    if ( Type == ABC_OPER_BIT_NXOR )      return WLC_OBJ_BIT_NXOR;      // 21: bitwise NXOR
+    if ( Type == ABC_OPER_SLICE )         return WLC_OBJ_BIT_SELECT;    // 22: bit selection
+    if ( Type == ABC_OPER_CONCAT )        return WLC_OBJ_BIT_CONCAT;    // 23: bit concatenation
+    if ( Type == ABC_OPER_ZEROPAD )       return WLC_OBJ_BIT_ZEROPAD;   // 24: zero padding
+    if ( Type == ABC_OPER_SIGNEXT )       return WLC_OBJ_BIT_SIGNEXT;   // 25: sign extension
+    if ( Type == ABC_OPER_LOGIC_NOT )     return WLC_OBJ_LOGIC_NOT;     // 26: logic NOT
+    if ( Type == ABC_OPER_LOGIC_IMPL )    return WLC_OBJ_LOGIC_IMPL;    // 27: logic implication
+    if ( Type == ABC_OPER_LOGIC_AND )     return WLC_OBJ_LOGIC_AND;     // 28: logic AND
+    if ( Type == ABC_OPER_LOGIC_OR )      return WLC_OBJ_LOGIC_OR;      // 29: logic OR
+    if ( Type == ABC_OPER_LOGIC_XOR )     return WLC_OBJ_LOGIC_XOR;     // 30: logic XOR
+    if ( Type == ABC_OPER_COMP_EQU )      return WLC_OBJ_COMP_EQU;      // 31: compare equal
+    if ( Type == ABC_OPER_COMP_NOTEQU )   return WLC_OBJ_COMP_NOTEQU;   // 32: compare not equal
+    if ( Type == ABC_OPER_COMP_LESS )     return WLC_OBJ_COMP_LESS;     // 33: compare less
+    if ( Type == ABC_OPER_COMP_MORE )     return WLC_OBJ_COMP_MORE;     // 34: compare more
+    if ( Type == ABC_OPER_COMP_LESSEQU )  return WLC_OBJ_COMP_LESSEQU;  // 35: compare less or equal
+    if ( Type == ABC_OPER_COMP_MOREEQU )  return WLC_OBJ_COMP_MOREEQU;  // 36: compare more or equal
+    if ( Type == ABC_OPER_RED_AND )       return WLC_OBJ_REDUCT_AND;    // 37: reduction AND
+    if ( Type == ABC_OPER_RED_OR )        return WLC_OBJ_REDUCT_OR;     // 38: reduction OR
+    if ( Type == ABC_OPER_RED_XOR )       return WLC_OBJ_REDUCT_XOR;    // 39: reduction XOR
+    if ( Type == ABC_OPER_RED_NAND )      return WLC_OBJ_REDUCT_NAND;   // 40: reduction NAND
+    if ( Type == ABC_OPER_RED_NOR )       return WLC_OBJ_REDUCT_NOR;    // 41: reduction NOR
+    if ( Type == ABC_OPER_RED_NXOR )      return WLC_OBJ_REDUCT_NXOR;   // 42: reduction NXOR
+    if ( Type == ABC_OPER_ARI_ADD )       return WLC_OBJ_ARI_ADD;       // 43: arithmetic addition
+    if ( Type == ABC_OPER_ARI_SUB )       return WLC_OBJ_ARI_SUB;       // 44: arithmetic subtraction
+    if ( Type == ABC_OPER_ARI_MUL )       return WLC_OBJ_ARI_MULTI;     // 45: arithmetic multiplier
+    if ( Type == ABC_OPER_ARI_DIV )       return WLC_OBJ_ARI_DIVIDE;    // 46: arithmetic division
+    if ( Type == ABC_OPER_ARI_REM )       return WLC_OBJ_ARI_REM;       // 47: arithmetic remainder
+    if ( Type == ABC_OPER_ARI_MOD )       return WLC_OBJ_ARI_MODULUS;   // 48: arithmetic modulus
+    if ( Type == ABC_OPER_ARI_POW )       return WLC_OBJ_ARI_POWER;     // 49: arithmetic power
+    if ( Type == ABC_OPER_ARI_MIN )       return WLC_OBJ_ARI_MINUS;     // 50: arithmetic minus
+    if ( Type == ABC_OPER_ARI_SQRT )      return WLC_OBJ_ARI_SQRT;      // 51: integer square root
+    if ( Type == ABC_OPER_ARI_SQUARE )    return WLC_OBJ_ARI_SQUARE;    // 52: integer square
+    return -1;
+}
+int Ndr_TypeWlc2Ndr( int Type )
+{
+    if ( Type == WLC_OBJ_CONST )          return ABC_OPER_CONST;        // 06: constant
+    if ( Type == WLC_OBJ_BUF )            return ABC_OPER_BIT_BUF;      // 07: buffer
+    if ( Type == WLC_OBJ_MUX )            return ABC_OPER_BIT_MUX;      // 08: multiplexer
+    if ( Type == WLC_OBJ_SHIFT_R )        return ABC_OPER_SHIFT_R;      // 09: shift right
+    if ( Type == WLC_OBJ_SHIFT_RA )       return ABC_OPER_SHIFT_RA;     // 10: shift right (arithmetic)
+    if ( Type == WLC_OBJ_SHIFT_L )        return ABC_OPER_SHIFT_L;      // 11: shift left
+    if ( Type == WLC_OBJ_SHIFT_LA )       return ABC_OPER_SHIFT_LA;     // 12: shift left (arithmetic)
+    if ( Type == WLC_OBJ_ROTATE_R )       return ABC_OPER_SHIFT_ROTR;   // 13: rotate right
+    if ( Type == WLC_OBJ_ROTATE_L )       return ABC_OPER_SHIFT_ROTL;   // 14: rotate left
+    if ( Type == WLC_OBJ_BIT_NOT )        return ABC_OPER_BIT_INV;      // 15: bitwise NOT
+    if ( Type == WLC_OBJ_BIT_AND )        return ABC_OPER_BIT_AND;      // 16: bitwise AND
+    if ( Type == WLC_OBJ_BIT_OR )         return ABC_OPER_BIT_OR;       // 17: bitwise OR
+    if ( Type == WLC_OBJ_BIT_XOR )        return ABC_OPER_BIT_XOR;      // 18: bitwise XOR
+    if ( Type == WLC_OBJ_BIT_NAND )       return ABC_OPER_BIT_NAND;     // 19: bitwise AND
+    if ( Type == WLC_OBJ_BIT_NOR )        return ABC_OPER_BIT_NOR;      // 20: bitwise OR
+    if ( Type == WLC_OBJ_BIT_NXOR )       return ABC_OPER_BIT_NXOR;     // 21: bitwise NXOR
+    if ( Type == WLC_OBJ_BIT_SELECT )     return ABC_OPER_SLICE;        // 22: bit selection
+    if ( Type == WLC_OBJ_BIT_CONCAT )     return ABC_OPER_CONCAT;       // 23: bit concatenation
+    if ( Type == WLC_OBJ_BIT_ZEROPAD )    return ABC_OPER_ZEROPAD;      // 24: zero padding
+    if ( Type == WLC_OBJ_BIT_SIGNEXT )    return ABC_OPER_SIGNEXT;      // 25: sign extension
+    if ( Type == WLC_OBJ_LOGIC_NOT )      return ABC_OPER_LOGIC_NOT;    // 26: logic NOT
+    if ( Type == WLC_OBJ_LOGIC_IMPL )     return ABC_OPER_LOGIC_IMPL;   // 27: logic implication
+    if ( Type == WLC_OBJ_LOGIC_AND )      return ABC_OPER_LOGIC_AND;    // 28: logic AND
+    if ( Type == WLC_OBJ_LOGIC_OR )       return ABC_OPER_LOGIC_OR;     // 29: logic OR
+    if ( Type == WLC_OBJ_LOGIC_XOR )      return ABC_OPER_LOGIC_XOR;    // 30: logic XOR
+    if ( Type == WLC_OBJ_COMP_EQU )       return ABC_OPER_COMP_EQU;     // 31: compare equal
+    if ( Type == WLC_OBJ_COMP_NOTEQU )    return ABC_OPER_COMP_NOTEQU;  // 32: compare not equal
+    if ( Type == WLC_OBJ_COMP_LESS )      return ABC_OPER_COMP_LESS;    // 33: compare less
+    if ( Type == WLC_OBJ_COMP_MORE )      return ABC_OPER_COMP_MORE;    // 34: compare more
+    if ( Type == WLC_OBJ_COMP_LESSEQU )   return ABC_OPER_COMP_LESSEQU; // 35: compare less or equal
+    if ( Type == WLC_OBJ_COMP_MOREEQU )   return ABC_OPER_COMP_MOREEQU; // 36: compare more or equal
+    if ( Type == WLC_OBJ_REDUCT_AND )     return ABC_OPER_RED_AND;      // 37: reduction AND
+    if ( Type == WLC_OBJ_REDUCT_OR )      return ABC_OPER_RED_OR;       // 38: reduction OR
+    if ( Type == WLC_OBJ_REDUCT_XOR )     return ABC_OPER_RED_XOR;      // 39: reduction XOR
+    if ( Type == WLC_OBJ_REDUCT_NAND )    return ABC_OPER_RED_NAND;     // 40: reduction NAND
+    if ( Type == WLC_OBJ_REDUCT_NOR )     return ABC_OPER_RED_NOR;      // 41: reduction NOR
+    if ( Type == WLC_OBJ_REDUCT_NXOR )    return ABC_OPER_RED_NXOR;     // 42: reduction NXOR
+    if ( Type == WLC_OBJ_ARI_ADD )        return ABC_OPER_ARI_ADD;      // 43: arithmetic addition
+    if ( Type == WLC_OBJ_ARI_SUB )        return ABC_OPER_ARI_SUB;      // 44: arithmetic subtraction
+    if ( Type == WLC_OBJ_ARI_MULTI )      return ABC_OPER_ARI_MUL;      // 45: arithmetic multiplier
+    if ( Type == WLC_OBJ_ARI_DIVIDE )     return ABC_OPER_ARI_DIV;      // 46: arithmetic division
+    if ( Type == WLC_OBJ_ARI_REM )        return ABC_OPER_ARI_REM;      // 47: arithmetic remainder
+    if ( Type == WLC_OBJ_ARI_MODULUS )    return ABC_OPER_ARI_MOD;      // 48: arithmetic modulus
+    if ( Type == WLC_OBJ_ARI_POWER )      return ABC_OPER_ARI_POW;      // 49: arithmetic power
+    if ( Type == WLC_OBJ_ARI_MINUS )      return ABC_OPER_ARI_MIN;      // 50: arithmetic minus
+    if ( Type == WLC_OBJ_ARI_SQRT )       return ABC_OPER_ARI_SQRT;     // 51: integer square root
+    if ( Type == WLC_OBJ_ARI_SQUARE )     return ABC_OPER_ARI_SQUARE;   // 52: integer square
+    return -1;
+}
+
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void * Wlc_NtkToNdr( Wlc_Ntk_t * pNtk )
+{
+    Wlc_Obj_t * pObj; 
+    int i, k, iFanin, iOutId;
+    // create a new module
+    void * pModule = Ndr_ModuleCreate( 1 );
+    // add primary inputs
+    Vec_Int_t * vFanins = Vec_IntAlloc( 10 );
+    Wlc_NtkForEachPi( pNtk, pObj, i ) 
+    {
+        iOutId = Wlc_ObjId(pNtk, pObj);
+        Ndr_ModuleAddObject( pModule, ABC_OPER_CI, 0,   
+            pObj->End, pObj->Beg, pObj->Signed,   
+            0, NULL,      1, &iOutId,  NULL  ); // no fanins
+    }
+    // add internal nodes 
+    Wlc_NtkForEachObj( pNtk, pObj, iOutId ) 
+    {
+        if ( Wlc_ObjIsPi(pObj) )
+            continue;
+        Vec_IntClear( vFanins );
+        Wlc_ObjForEachFanin( pObj, iFanin, k )
+            Vec_IntPush( vFanins, iFanin );
+        Ndr_ModuleAddObject( pModule, Ndr_TypeWlc2Ndr(pObj->Type), 0,   
+            pObj->End, pObj->Beg, pObj->Signed,   
+            Vec_IntSize(vFanins), Vec_IntArray(vFanins), 1, &iOutId,  NULL  ); 
+    }
+    // add primary outputs
+    Wlc_NtkForEachObj( pNtk, pObj, iOutId ) 
+    {
+        if ( !Wlc_ObjIsPo(pObj) )
+            continue;
+        Vec_IntFill( vFanins, 1, iOutId );
+        Ndr_ModuleAddObject( pModule, ABC_OPER_CO, 0,                   
+            pObj->End, pObj->Beg, pObj->Signed,   
+            1, Vec_IntArray(vFanins),  0, NULL,  NULL ); 
+    }
+    Vec_IntFree( vFanins );
+    return pModule;
+}
+void Wlc_WriteNdr( Wlc_Ntk_t * pNtk, char * pFileName )
+{
+    void * pModule = Wlc_NtkToNdr( pNtk );
+    Ndr_ModuleWrite( pFileName, pModule );
+    Ndr_ModuleDelete( pModule );
+    printf( "Dumped the current design into file \"%s\".\n", pFileName );
+}
+void Wlc_NtkToNdrTest( Wlc_Ntk_t * pNtk )
+{
+    // transform
+    void * pModule = Wlc_NtkToNdr( pNtk );
+
+    // collect names     
+    Wlc_Obj_t * pObj;  int i;
+    char ** ppNames = ABC_ALLOC( char *, Wlc_NtkObjNum(pNtk) + 1 );
+    Wlc_NtkForEachObj( pNtk, pObj, i ) 
+        ppNames[i] = Wlc_ObjName(pNtk, i);
+
+    // verify by writing Verilog
+    Ndr_ModuleWriteVerilog( NULL, pModule, ppNames );
+    Ndr_ModuleWrite( "test.ndr", pModule );
+
+    // cleanup
+    Ndr_ModuleDelete( pModule );
+    ABC_FREE( ppNames );
+}
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+int Ndr_ObjReadRange( Ndr_Data_t * p, int Obj, int * End, int * Beg )
+{
+    int * pArray, nArray = Ndr_ObjReadArray( p, Obj, NDR_RANGE, &pArray );
+    int Signed = 0; *End = *Beg = 0;
+    if ( nArray == 0 )
+        return 0;
+    if ( nArray == 3 )
+        Signed = 1;
+    if ( nArray == 1 )
+        *End = *Beg = pArray[0];
+    else
+        *End = pArray[0], *Beg = pArray[1];
+    return Signed;
+}
+Wlc_Ntk_t * Wlc_NtkFromNdr( void * pData )
+{
+    Ndr_Data_t * p = (Ndr_Data_t *)pData;  
+    Wlc_Obj_t * pObj; Vec_Int_t * vName2Obj;
+    Wlc_Ntk_t * pNtk = Wlc_NtkAlloc( "top", Ndr_DataObjNum(p, 0)+1 );
+    int Mod = 0, i, k, Obj, * pArray, nDigits, fFound, NameId, NameIdMax = 0;
+    //pNtk->pSpec = Abc_UtilStrsav( pFileName );
+    Wlc_NtkCleanNameId( pNtk );
+    Ndr_ModForEachPi( p, Mod, Obj )
+    {
+        int End, Beg, Signed = Ndr_ObjReadRange(p, Obj, &End, &Beg);
+        int iObj = Wlc_ObjAlloc( pNtk, WLC_OBJ_PI, Signed, End, Beg );
+        int NameId = Ndr_ObjReadBody( p, Obj, NDR_OUTPUT );
+        Wlc_ObjSetNameId( pNtk, iObj, NameId );
+        NameIdMax = Abc_MaxInt( NameIdMax, NameId );
+    }
+    Ndr_ModForEachNode( p, Mod, Obj )
+    {
+        int End, Beg, Signed = Ndr_ObjReadRange(p, Obj, &End, &Beg);
+        int Type    = Ndr_ObjReadBody( p, Obj, NDR_OPERTYPE );
+        int nArray  = Ndr_ObjReadArray( p, Obj, NDR_INPUT, &pArray );
+        Vec_Int_t F = {nArray, nArray, pArray}, * vFanins = &F;
+        int iObj    = Wlc_ObjAlloc( pNtk, Ndr_TypeNdr2Wlc(Type), Signed, End, Beg );
+        int NameId  = Ndr_ObjReadBody( p, Obj, NDR_OUTPUT );
+        Wlc_ObjAddFanins( pNtk, Wlc_NtkObj(pNtk, iObj), vFanins );
+        Wlc_ObjSetNameId( pNtk, iObj, NameId );
+        NameIdMax = Abc_MaxInt( NameIdMax, NameId );
+    }
+    Ndr_ModForEachPo( p, Mod, Obj )
+    {
+        int End, Beg, Signed = Ndr_ObjReadRange(p, Obj, &End, &Beg);
+        int nArray  = Ndr_ObjReadArray( p, Obj, NDR_INPUT, &pArray );
+        Wlc_Obj_t * pObj = Wlc_NtkObj( pNtk, pArray[0] );
+        Wlc_ObjSetCo( pNtk, pObj, 0 );
+        assert( nArray == 1 && End == pObj->End && Beg == pObj->Beg && Signed == (int)pObj->Signed );
+    }
+    // remap fanins from name IDs into object IDs
+    vName2Obj = Vec_IntInvert( &pNtk->vNameIds, 0 );
+    Wlc_NtkForEachObj( pNtk, pObj, i )
+    {
+        int * pFanins = Wlc_ObjFanins(pObj);
+//        printf( "%d = ", Wlc_ObjNameId(pNtk, i) );
+//        for ( k = 0; k < Wlc_ObjFaninNum(pObj); k++ )
+//            printf( "%d ", Wlc_ObjNameId(pNtk, pFanins[k]) );
+//        printf( "\n" );
+        for ( k = 0; k < Wlc_ObjFaninNum(pObj); k++ )
+            pFanins[k] = Vec_IntEntry(vName2Obj, pFanins[k]);
+    }
+    Vec_IntFree(vName2Obj);
+    // create object names
+    pNtk->pManName = Abc_NamStart( NameIdMax+1, 10 );
+    nDigits = Abc_Base10Log( NameIdMax+1 );
+    for ( i = 1; i <= NameIdMax; i++ )
+    {
+        char pName[20]; sprintf( pName, "n%0*d", nDigits, i );
+        NameId = Abc_NamStrFindOrAdd( pNtk->pManName, pName, &fFound );
+        assert( !fFound && i == NameId );
+    }
+    // derive topological order
+//    pNtk = Wlc_NtkDupDfs( pTemp = pNtk, 0, 1 );
+//    Wlc_NtkFree( pTemp );
+    return pNtk;
+}
+
+/**Function*************************************************************
+
+  Synopsis    []
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+Wlc_Ntk_t * Wlc_ReadNdr( char * pFileName )
+{
+    void * pData = Ndr_ModuleRead( pFileName );
+    Wlc_Ntk_t * pNtk = Wlc_NtkFromNdr( pData );
+    //char * ppNames[10] = { NULL, "a", "b", "c", "d", "e", "f", "g", "h", "i" };
+    //Ndr_ModuleWriteVerilog( NULL, pData, ppNames );
+    Ndr_ModuleDelete( pData );
+    return pNtk;
+}
+void Wlc_ReadNdrTest()
+{
+    Wlc_Ntk_t * pNtk = Wlc_ReadNdr( "top.ndr" );
+    Wlc_WriteVer( pNtk, "top.v", 0, 0 );
+    Wlc_NtkFree( pNtk );
+}
+
+////////////////////////////////////////////////////////////////////////
+///                       END OF FILE                                ///
+////////////////////////////////////////////////////////////////////////
+
+
+ABC_NAMESPACE_IMPL_END
+