Version abc71001

1 files changed, 0 insertions, 235 deletions

diff --git a/abc70930/src/base/io/ioReadEdif.c b/abc70930/src/base/io/ioReadEdif.c
deleted file mode 100644
index 188e5b8c..00000000
--- a/abc70930/src/base/io/ioReadEdif.c
+++ /dev/null
@@ -1,235 +0,0 @@
-/**CFile****************************************************************
-
-  FileName    [ioReadEdif.c]
-
-  SystemName  [ABC: Logic synthesis and verification system.]
-
-  PackageName [Command processing package.]
-
-  Synopsis    [Procedure to read ISCAS benchmarks in EDIF.]
-
-  Author      [Alan Mishchenko]
-  
-  Affiliation [UC Berkeley]
-
-  Date        [Ver. 1.0. Started - June 20, 2005.]
-
-  Revision    [$Id: ioReadEdif.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
-
-***********************************************************************/
-
-#include "io.h"
-
-////////////////////////////////////////////////////////////////////////
-///                        DECLARATIONS                              ///
-////////////////////////////////////////////////////////////////////////
-
-static Abc_Ntk_t * Io_ReadEdifNetwork( Extra_FileReader_t * p );
-
-////////////////////////////////////////////////////////////////////////
-///                     FUNCTION DEFINITIONS                         ///
-////////////////////////////////////////////////////////////////////////
-
-/**Function*************************************************************
-
-  Synopsis    [Reads the network from an EDIF file.]
-
-  Description [Works only for the ISCAS benchmarks.]
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-Abc_Ntk_t * Io_ReadEdif( char * pFileName, int fCheck )
-{
-    Extra_FileReader_t * p;
-    Abc_Ntk_t * pNtk;
-
-    printf( "Currently this parser does not work!\n" );
-    return NULL;
-
-    // start the file
-    p = Extra_FileReaderAlloc( pFileName, "#", "\n\r", " \t()" );
-    if ( p == NULL )
-        return NULL;
-
-    // read the network
-    pNtk = Io_ReadEdifNetwork( p );
-    Extra_FileReaderFree( p );
-    if ( pNtk == NULL )
-        return NULL;
-
-    // make sure that everything is okay with the network structure
-    if ( fCheck && !Abc_NtkCheckRead( pNtk ) )
-    {
-        printf( "Io_ReadEdif: The network check has failed.\n" );
-        Abc_NtkDelete( pNtk );
-        return NULL;
-    }
-    return pNtk;
-}
-/**Function*************************************************************
-
-  Synopsis    []
-
-  Description []
-               
-  SideEffects []
-
-  SeeAlso     []
-
-***********************************************************************/
-Abc_Ntk_t * Io_ReadEdifNetwork( Extra_FileReader_t * p )
-{
-    ProgressBar * pProgress;
-    Vec_Ptr_t * vTokens;
-    Abc_Ntk_t * pNtk;
-    Abc_Obj_t * pNet, * pObj, * pFanout;
-    char * pGateName, * pNetName;
-    int fTokensReady, iLine, i;
-
-    // read the first line
-    vTokens = Extra_FileReaderGetTokens(p);
-    if ( strcmp( vTokens->pArray[0], "edif" ) != 0 )
-    {
-        printf( "%s: Wrong input file format.\n", Extra_FileReaderGetFileName(p) );
-        return NULL;
-    }
-    
-    // allocate the empty network
-    pNtk = Abc_NtkStartRead( Extra_FileReaderGetFileName(p) );
-
-    // go through the lines of the file
-    fTokensReady = 0;
-    pProgress = Extra_ProgressBarStart( stdout, Extra_FileReaderGetFileSize(p) );
-    for ( iLine = 1; fTokensReady || (vTokens = Extra_FileReaderGetTokens(p)); iLine++ )
-    {
-        Extra_ProgressBarUpdate( pProgress, Extra_FileReaderGetCurPosition(p), NULL );
-
-        // get the type of the line
-        fTokensReady = 0;
-        if ( strcmp( vTokens->pArray[0], "instance" ) == 0 )
-        { 
-            pNetName = vTokens->pArray[1];
-            pNet = Abc_NtkFindOrCreateNet( pNtk, pNetName );
-            vTokens = Extra_FileReaderGetTokens(p);
-            vTokens = Extra_FileReaderGetTokens(p);
-            pGateName = vTokens->pArray[1];
-            if ( strncmp( pGateName, "Flip", 4 ) == 0 )
-            {
-                pObj = Abc_NtkCreateLatch( pNtk );
-                Abc_LatchSetInit0( pObj );
-            }
-            else
-            {
-                pObj = Abc_NtkCreateNode( pNtk );
-//                pObj->pData = Abc_NtkRegisterName( pNtk, pGateName );
-                pObj->pData = Extra_UtilStrsav( pGateName ); // memory leak!!!
-            }
-            Abc_ObjAddFanin( pNet, pObj );
-        }
-        else if ( strcmp( vTokens->pArray[0], "net" ) == 0 )
-        {
-            pNetName = vTokens->pArray[1];
-            if ( strcmp( pNetName, "CK" ) == 0 || strcmp( pNetName, "RESET" ) == 0 )
-                continue;
-            if ( strcmp( pNetName + strlen(pNetName) - 4, "_out" ) == 0 )
-                pNetName[strlen(pNetName) - 4] = 0;
-            pNet = Abc_NtkFindNet( pNtk, pNetName );
-            assert( pNet );
-            vTokens = Extra_FileReaderGetTokens(p);
-            vTokens = Extra_FileReaderGetTokens(p);
-            vTokens = Extra_FileReaderGetTokens(p);
-            while ( strcmp( vTokens->pArray[0], "portRef" ) == 0 )
-            {
-                if ( strcmp( pNetName, vTokens->pArray[3] ) != 0 )
-                {
-                    pFanout = Abc_NtkFindNet( pNtk, vTokens->pArray[3] );
-                    Abc_ObjAddFanin( Abc_ObjFanin0(pFanout), pNet );
-                }
-                vTokens = Extra_FileReaderGetTokens(p);
-            }
-            fTokensReady = 1;
-        }
-        else if ( strcmp( vTokens->pArray[0], "library" ) == 0 )
-        {
-            vTokens = Extra_FileReaderGetTokens(p);
-            vTokens = Extra_FileReaderGetTokens(p);
-            vTokens = Extra_FileReaderGetTokens(p);
-            vTokens = Extra_FileReaderGetTokens(p);
-            vTokens = Extra_FileReaderGetTokens(p);
-            while ( strcmp( vTokens->pArray[0], "port" ) == 0 )
-            {
-                pNetName = vTokens->pArray[1];
-                if ( strcmp( pNetName, "CK" ) == 0 || strcmp( pNetName, "RESET" ) == 0 )
-                {
-                    vTokens = Extra_FileReaderGetTokens(p);
-                    continue;
-                }
-                if ( strcmp( pNetName + strlen(pNetName) - 3, "_PO" ) == 0 )
-                    pNetName[strlen(pNetName) - 3] = 0;
-                if ( strcmp( vTokens->pArray[3], "INPUT" ) == 0 )
-                    Io_ReadCreatePi( pNtk, vTokens->pArray[1] );
-                else if ( strcmp( vTokens->pArray[3], "OUTPUT" ) == 0 )
-                    Io_ReadCreatePo( pNtk, vTokens->pArray[1] );
-                else
-                {
-                    printf( "%s (line %d): Wrong interface specification.\n", Extra_FileReaderGetFileName(p), iLine );
-                    Abc_NtkDelete( pNtk );
-                    return NULL;
-                }
-                vTokens = Extra_FileReaderGetTokens(p);
-            }
-        }
-        else if ( strcmp( vTokens->pArray[0], "design" ) == 0 )
-        {
-            free( pNtk->pName ); 
-            pNtk->pName = Extra_UtilStrsav( vTokens->pArray[3] );
-            break;
-        }
-    }
-    Extra_ProgressBarStop( pProgress );
-
-    // assign logic functions
-    Abc_NtkForEachNode( pNtk, pObj, i )
-    {
-        if ( strncmp( pObj->pData, "And", 3 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateAnd(pNtk->pManFunc, Abc_ObjFaninNum(pObj), NULL) );
-        else if ( strncmp( pObj->pData, "Or", 2 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateOr(pNtk->pManFunc, Abc_ObjFaninNum(pObj), NULL) );
-        else if ( strncmp( pObj->pData, "Nand", 4 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateNand(pNtk->pManFunc, Abc_ObjFaninNum(pObj)) );
-        else if ( strncmp( pObj->pData, "Nor", 3 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateNor(pNtk->pManFunc, Abc_ObjFaninNum(pObj)) );
-        else if ( strncmp( pObj->pData, "Exor", 4 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateXor(pNtk->pManFunc, Abc_ObjFaninNum(pObj)) );
-        else if ( strncmp( pObj->pData, "Exnor", 5 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateNxor(pNtk->pManFunc, Abc_ObjFaninNum(pObj)) );
-        else if ( strncmp( pObj->pData, "Inv", 3 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateInv(pNtk->pManFunc) );
-        else if ( strncmp( pObj->pData, "Buf", 3 ) == 0 )
-            Abc_ObjSetData( pObj, Abc_SopCreateBuf(pNtk->pManFunc) );
-        else
-        {
-            printf( "%s: Unknown gate type \"%s\".\n", Extra_FileReaderGetFileName(p), pObj->pData );
-            Abc_NtkDelete( pNtk );
-            return NULL;
-        }
-    }
-    // check if constants have been added
-//    if ( pNet = Abc_NtkFindNet( pNtk, "VDD" ) )
-//        Io_ReadCreateConst( pNtk, "VDD", 1 );
-//    if ( pNet = Abc_NtkFindNet( pNtk, "GND" ) )
-//        Io_ReadCreateConst( pNtk, "GND", 0 );
-
-    Abc_NtkFinalizeRead( pNtk );
-    return pNtk;
-}
-
-////////////////////////////////////////////////////////////////////////
-///                       END OF FILE                                ///
-////////////////////////////////////////////////////////////////////////
-
-
-