wlnRtl.c File Reference

#include "wln.h"
#include "base/main/main.h"
#include <unistd.h>

Include dependency graph for wlnRtl.c:

Go to the source code of this file.

Macros
#define	MAX_LINE   1000000
	DECLARATIONS ///.

Functions
void	Rtl_NtkCleanFile (char *pFileName)
void	Rtl_NtkCleanFile2 (char *pFileName)
char *	Wln_GetYosysName ()
int	Wln_ConvertToRtl (char *pCommand, char *pFileTemp)
Rtl_Lib_t *	Wln_ReadSystemVerilog (char *pFileName, char *pTopModule, char *pDefines, int fCollapse, int fVerbose)
Gia_Man_t *	Wln_BlastSystemVerilog (char *pFileName, char *pTopModule, char *pDefines, int fSkipStrash, int fInvert, int fTechMap, int fLibInDir, int fVerbose)
Abc_Ntk_t *	Wln_ReadMappedSystemVerilog (char *pFileName, char *pTopModule, char *pDefines, char *pLibrary, int fVerbose)

Macro Definition Documentation

MAX_LINE

#define MAX_LINE   1000000

DECLARATIONS ///.

CFile****************************************************************

FileName [wlnRtl.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Word-level network.]

Synopsis [Constructing WLN network from Rtl data structure.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 23, 2018.]

Revision [

Id

wlnRtl.c,v 1.00 2018/09/23 00:00:00 alanmi Exp

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 52 of file wlnRtl.c.

Function Documentation

Rtl_NtkCleanFile()

void Rtl_NtkCleanFile

(

char *

pFileName

)

Definition at line 54 of file wlnRtl.c.

{
    char * pBuffer, * pFileName2 = "_temp__.rtlil"; 
    FILE * pFile = fopen( pFileName, "rb" );
    FILE * pFile2;
    if ( pFile == NULL )
    {
        printf( "Cannot open file \"%s\" for reading.\n", pFileName );
        return;
    }
    pFile2 = fopen( pFileName2, "wb" );
    if ( pFile2 == NULL )
    {
        fclose( pFile );
        printf( "Cannot open file \"%s\" for writing.\n", pFileName2 );
        return;
    }
    pBuffer = ABC_ALLOC( char, MAX_LINE );
    while ( fgets( pBuffer, MAX_LINE, pFile ) != NULL )
        if ( !strstr(pBuffer, "attribute \\src") )
            fputs( pBuffer, pFile2 );
    ABC_FREE( pBuffer );
    fclose( pFile );
    fclose( pFile2 );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Rtl_NtkCleanFile2()

void Rtl_NtkCleanFile2

(

char *

pFileName

)

Definition at line 80 of file wlnRtl.c.

{
    char * pBuffer, * pFileName2 = "_temp__.v"; 
    FILE * pFile = fopen( pFileName, "rb" );
    FILE * pFile2;
    if ( pFile == NULL )
    {
        printf( "Cannot open file \"%s\" for reading.\n", pFileName );
        return;
    }
    pFile2 = fopen( pFileName2, "wb" );
    if ( pFile2 == NULL )
    {
        fclose( pFile );
        printf( "Cannot open file \"%s\" for writing.\n", pFileName2 );
        return;
    }
    pBuffer = ABC_ALLOC( char, MAX_LINE );
    while ( fgets( pBuffer, MAX_LINE, pFile ) != NULL )
        if ( !strstr(pBuffer, "//") )
            fputs( pBuffer, pFile2 );
    ABC_FREE( pBuffer );
    fclose( pFile );
    fclose( pFile2 );
}

Here is the call graph for this function:

Wln_BlastSystemVerilog()

Gia_Man_t * Wln_BlastSystemVerilog	(	char *	pFileName,
		char *	pTopModule,
		char *	pDefines,
		int	fSkipStrash,
		int	fInvert,
		int	fTechMap,
		int	fLibInDir,
		int	fVerbose )

Definition at line 174 of file wlnRtl.c.

{
    Gia_Man_t * pGia = NULL;
    char Command[1000];
    char * pFileTemp = "_temp_.aig";
    int fRtlil = strstr(pFileName, ".rtl") != NULL;
    int fSVlog = strstr(pFileName, ".sv")  != NULL;
    sprintf( Command, "%s -qp \"%s %s%s %s%s; hierarchy %s%s; flatten; proc; %saigmap; write_aiger %s\"",
        Wln_GetYosysName(), 
        fRtlil ? "read_rtlil"   : "read_verilog",
        pDefines  ? "-D"        : "",
        pDefines  ? pDefines    : "",
        fSVlog    ? "-sv "      : "",
        pFileName,
        pTopModule ? "-top "    : "-auto-top",
        pTopModule ? pTopModule : "", 
        fTechMap ? (fLibInDir ? "techmap -map techmap.v; setundef -zero; " : "techmap; setundef -zero; ") : "", pFileTemp );
    if ( fVerbose )
    printf( "%s\n", Command );
    if ( !Wln_ConvertToRtl(Command, pFileTemp) )
        return NULL;
    pGia = Gia_AigerRead( pFileTemp, 0, fSkipStrash, 0 );
    if ( pGia == NULL )
    {
        printf( "Converting to AIG has failed.\n" );
        return NULL;
    }
    ABC_FREE( pGia->pName );
    pGia->pName = pTopModule ? Abc_UtilStrsav(pTopModule) :
        Extra_FileNameGeneric( Extra_FileNameWithoutPath(pFileName) );
    unlink( pFileTemp );
    // complement the outputs
    if ( fInvert )
    {
        Gia_Obj_t * pObj; int i;
        Gia_ManForEachPo( pGia, pObj, i )
            Gia_ObjFlipFaninC0( pObj );
    }
    return pGia;
}

Here is the call graph for this function:

Wln_ConvertToRtl()

int Wln_ConvertToRtl	(	char *	pCommand,
		char *	pFileTemp )

Definition at line 122 of file wlnRtl.c.

{
#if defined(__wasm)
    return 0;
#else
    FILE * pFile;
    if ( system( pCommand ) == -1 )
    {
        fprintf( stdout, "Cannot execute \"%s\".\n", pCommand );
        return 0;
    }
    if ( (pFile = fopen(pFileTemp, "r")) == NULL )
    {
        fprintf( stdout, "Cannot open intermediate file \"%s\".\n", pFileTemp );
        return 0;
    }
    fclose( pFile );
    return 1;
#endif
}

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_GetYosysName()

char * Wln_GetYosysName

(

)

Definition at line 106 of file wlnRtl.c.

{
    char * pYosysName = NULL;
    char * pYosysNameWin = "yosys.exe";
    char * pYosysNameUnix = "yosys";
    if ( Abc_FrameReadFlag("yosyswin") )
        pYosysNameWin = Abc_FrameReadFlag("yosyswin");
    if ( Abc_FrameReadFlag("yosysunix") )
        pYosysNameUnix = Abc_FrameReadFlag("yosysunix");
#ifdef WIN32
    pYosysName = pYosysNameWin;
#else
    pYosysName = pYosysNameUnix;
#endif
    return pYosysName;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Wln_ReadMappedSystemVerilog()

Abc_Ntk_t * Wln_ReadMappedSystemVerilog	(	char *	pFileName,
		char *	pTopModule,
		char *	pDefines,
		char *	pLibrary,
		int	fVerbose )

Definition at line 214 of file wlnRtl.c.

{
    Abc_Ntk_t * pNtk = NULL;
    char Command[1000];
    char * pFileTemp = "_temp_.blif";
    int fSVlog = strstr(pFileName, ".sv")  != NULL;
    sprintf( Command, "%s -qp \"read_liberty -lib %s; read %s %s%s %s; hierarchy %s%s; flatten; proc; write_blif %s%s -impltf -gates %s\"",
        Wln_GetYosysName(),
        pLibrary,
        fSVlog    ? "-sv "      : "-vlog95",
        pDefines  ? "-D"        : "",
        pDefines  ? pDefines    : "",
        pFileName,
        pTopModule ? "-top "    : "-auto-top",
        pTopModule ? pTopModule : "",
        pTopModule ? "-top "    : "",
        pTopModule ? pTopModule : "",
        pFileTemp );
    if ( fVerbose )
    printf( "%s\n", Command );
    if ( !Wln_ConvertToRtl(Command, pFileTemp) )
        return NULL;
    sprintf( Command, "read_lib %s", pLibrary );
    if ( Cmd_CommandExecute( Abc_FrameReadGlobalFrame(), Command ) )
    {
        fprintf( stdout, "Cannot execute ABC command \"%s\".\n", Command );
        unlink( pFileTemp );
        return NULL;
    }
    pNtk = Io_Read( pFileTemp, IO_FILE_BLIF, 1, 0 );
    if ( pNtk == NULL )
    {
        printf( "Reading mapped BLIF from file \"%s\" has failed.\n", pFileTemp );
        return NULL;
    }
    if ( pTopModule ) {
        ABC_FREE( pNtk->pName );
        pNtk->pName = Abc_UtilStrsav(pTopModule);
    }
    unlink( pFileTemp );
    return pNtk;
}

Here is the call graph for this function:

Wln_ReadSystemVerilog()

Rtl_Lib_t * Wln_ReadSystemVerilog	(	char *	pFileName,
		char *	pTopModule,
		char *	pDefines,
		int	fCollapse,
		int	fVerbose )

Definition at line 142 of file wlnRtl.c.

{
    Rtl_Lib_t * pNtk = NULL;
    char Command[1000];
    char * pFileTemp = "_temp_.rtlil";
    int fSVlog = strstr(pFileName, ".sv") != NULL;
    if ( strstr(pFileName, ".rtl") )
        return Rtl_LibReadFile( pFileName, pFileName );
    sprintf( Command, "%s -qp \"read_verilog %s%s %s%s; hierarchy %s%s; %sproc; write_rtlil %s\"",
        Wln_GetYosysName(), 
        pDefines   ? "-D"       : "",
        pDefines   ? pDefines   : "",
        fSVlog     ? "-sv "     : "",
        pFileName,
        pTopModule ? "-top "    : "", 
        pTopModule ? pTopModule : "", 
        fCollapse  ? "flatten; ": "",
        pFileTemp );
    if ( fVerbose )
    printf( "%s\n", Command );
    if ( !Wln_ConvertToRtl(Command, pFileTemp) )
        return NULL;
    pNtk = Rtl_LibReadFile( pFileTemp, pFileName );
    if ( pNtk == NULL )
    {
        printf( "Dumped the design into file \"%s\".\n", pFileTemp );
        return NULL;
    }
    Rtl_NtkCleanFile( pFileTemp );
    unlink( pFileTemp );
    return pNtk;
}

Here is the call graph for this function: