diff options
| -rw-r--r-- | abclib.dsp | 4 | ||||
| -rw-r--r-- | src/aig/miniaig/ndr.h | 3 | ||||
| -rw-r--r-- | src/base/wlc/module.make | 1 | ||||
| -rw-r--r-- | src/base/wlc/wlc.h | 3 | ||||
| -rw-r--r-- | src/base/wlc/wlcCom.c | 13 | ||||
| -rw-r--r-- | src/base/wlc/wlcNdr.c | 349 |
6 files changed, 368 insertions, 5 deletions
@@ -807,6 +807,10 @@ SOURCE=.\src\base\wlc\wlcJson.c # End Source File # Begin Source File +SOURCE=.\src\base\wlc\wlcNdr.c +# End Source File +# Begin Source File + SOURCE=.\src\base\wlc\wlcNtk.c # End Source File # Begin Source File diff --git a/src/aig/miniaig/ndr.h b/src/aig/miniaig/ndr.h index 22aa33e3..325cf5d9 100644 --- a/src/aig/miniaig/ndr.h +++ b/src/aig/miniaig/ndr.h @@ -379,7 +379,7 @@ static inline void Ndr_ModuleWriteVerilog( char * pFileName, void * pModule, cha } fprintf( pFile, "\nendmodule\n\n" ); - fclose( pFile ); + if ( pFileName ) fclose( pFile ); } @@ -507,6 +507,7 @@ static inline void Ndr_ModuleTest() // write Verilog for verification Ndr_ModuleWriteVerilog( NULL, pModule, ppNames ); + Ndr_ModuleWrite( "add4.ndr", pModule ); Ndr_ModuleDelete( pModule ); } 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 + |