Searched refs:pFileNameIn (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcScorr.c | 318 Abc_Ntk_t * Abc_NtkTestScorr( char * pFileNameIn, char * pFileNameOut, int nStepsMax, int nBTLimit,… in Abc_NtkTestScorr() argument
331 pFile = fopen( pFileNameIn, "rb" ); in Abc_NtkTestScorr()
334 printf( "Input file \"%s\" cannot be opened.\n", pFileNameIn ); in Abc_NtkTestScorr()
347 pNetlist = Io_ReadNetlist( pFileNameIn, Io_ReadFileType(pFileNameIn), 1 ); in Abc_NtkTestScorr()
350 printf( "Reading input file \"%s\" has failed.\n", pFileNameIn ); in Abc_NtkTestScorr()
357 printf( "Deriving logic network from input file %s has failed.\n", pFileNameIn ); in Abc_NtkTestScorr()
360 if ( Extra_FileIsType( pFileNameIn, ".bench", ".BENCH", NULL ) ) in Abc_NtkTestScorr()
380 printf( "Deriving strashed network from input file %s has failed.\n", pFileNameIn ); in Abc_NtkTestScorr()
|
| H A D | abc.c | 13406 …extern void Abc_NtkConvertBb2Wb( char * pFileNameIn, char * pFileNameOut, int fSeq, int fVerbose ); in Abc_CommandBb2Wb()
21837 …extern Abc_Ntk_t * Abc_NtkTestScorr( char * pFileNameIn, char * pFileNameOut, int nStepsMax, int n… in Abc_CommandTestScorr()
36106 char * pFileNameIn = NULL; in Abc_CommandAbc9Srm() local
36125 pFileNameIn = argv[globalUtilOptind]; in Abc_CommandAbc9Srm()
36164 Gia_AigerWrite( pTemp, pFileNameIn ? pFileNameIn : pFileName, 0, 0, 0 ); in Abc_CommandAbc9Srm()
45273 char * pFileNameIn = NULL; in Abc_CommandAbc9Exorcism() local
45331 pFileNameIn = argv[globalUtilOptind]; in Abc_CommandAbc9Exorcism()
45344 if ( pAbc->pGia == NULL && pFileNameIn == NULL ) in Abc_CommandAbc9Exorcism()
45350 if ( pFileNameIn ) in Abc_CommandAbc9Exorcism()
45352 pNtk = Io_ReadPla( pFileNameIn, 0, 0, 0, /* no preprocessing = */1, /* check = */1 ); in Abc_CommandAbc9Exorcism()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioWriteBlif.c | 749 void Abc_NtkConvertBb2Wb( char * pFileNameIn, char * pFileNameOut, int fSeq, int fVerbose ) in Abc_NtkConvertBb2Wb() argument
754 pFile = fopen( pFileNameIn, "rb" ); in Abc_NtkConvertBb2Wb()
757 printf( "Input file \"%s\" cannot be opened.\n", pFileNameIn ); in Abc_NtkConvertBb2Wb()
770 pNetlist = Io_ReadNetlist( pFileNameIn, Io_ReadFileType(pFileNameIn), 1 ); in Abc_NtkConvertBb2Wb()
773 printf( "Reading input file \"%s\" has failed.\n", pFileNameIn ); in Abc_NtkConvertBb2Wb()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbUtil.c | 850 void Acb_NtkInsert( char * pFileNameIn, char * pFileNameOut, Vec_Ptr_t * vNames, int fNumber ) in Acb_NtkInsert() argument
861 pBuffer = Extra_FileReadContents( pFileNameIn ); in Acb_NtkInsert()
865 printf( "Cannot open input file \"%s\".\n", pFileNameIn ); in Acb_NtkInsert()
868 vPlaces = Acb_NtkPlaces( pFileNameIn, vNames ); in Acb_NtkInsert()
|
| H A D | acbFunc.c | 2082 …extern void Acb_NtkInsert( char * pFileNameIn, char * pFileNameOut, Vec_Ptr_t * vNames, int fNumbe… in Acb_GenerateFile2()
|