| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSim4.c | 44 int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nWords, int nBeam, in… in Gia_Sim4Try() argument
|
| H A D | giaTim.c | 1020 char pFileName0[1000], pFileName1[1000]; in Gia_ManVerifyWithBoxes() local
1022 sprintf( pFileName0, "%s_spec.aig", pNameGeneric ); in Gia_ManVerifyWithBoxes()
1024 Gia_AigerWrite( pGia0, pFileName0, 0, 0, 0 ); in Gia_ManVerifyWithBoxes()
1027 … printf( "Dumped two parts of the miter into files \"%s\" and \"%s\".\n", pFileName0, pFileName1 ); in Gia_ManVerifyWithBoxes()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbUtil.c | 663 int Acb_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, in Acb_NtkExtract() argument
667 Acb_Ntk_t * pNtkF = Acb_VerilogSimpleRead( pFileName0, NULL ); in Acb_NtkExtract()
776 int Abc_NtkExtract( char * pFileName0, char * pFileName1, int fUseXors, int fVerbose, in Abc_NtkExtract() argument
779 Abc_Ntk_t * pNtkF = Io_Read( pFileName0, Io_ReadFileType(pFileName0), 1, 0 ); in Abc_NtkExtract()
924 …extern int Gia_Sim4Try( char * pFileName0, char * pFileName1, char * pFileName2, int nWords, int n… in Acb_NtkRunSim()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDar.c | 2662 char * pFileNameGeneric, pFileName0[1000], pFileName1[1000]; in Abc_NtkDarDemiter() local
2682 sprintf( pFileName0, "%s", "part0.aig" ); in Abc_NtkDarDemiter()
2686 Ioa_WriteAiger( pPart0, pFileName0, 0, 0 ); in Abc_NtkDarDemiter()
2688 Abc_Print( 1, "Demitering produced two files \"%s\" and \"%s\".\n", pFileName0, pFileName1 ); in Abc_NtkDarDemiter()
2713 char * pFileNameGeneric, pFileName0[1000], pFileName1[1000]; in Abc_NtkDarDemiterNew() local
2735 sprintf( pFileName0, "%s%s", pFileNameGeneric, "_part0.aig" ); in Abc_NtkDarDemiterNew()
2739 Ioa_WriteAiger( pPart0, pFileName0, 0, 0 ); in Abc_NtkDarDemiterNew()
2741 Abc_Print( 1, "Demitering produced two files \"%s\" and \"%s\".\n", pFileName0, pFileName1 ); in Abc_NtkDarDemiterNew()
2766 char * pFileNameGeneric, pFileName0[1000], pFileName1[1000]; in Abc_NtkDarDemiterDual() local
2796 sprintf( pFileName0, "%s", "part0.aig" ); in Abc_NtkDarDemiterDual()
[all …]
|
| H A D | abcMiter.c | 1204 Vec_Ptr_t * Abc_NtkTryNewMiter( char * pFileName0, char * pFileName1 ) in Abc_NtkTryNewMiter() argument
1211 Abc_Ntk_t * pNtk1 = Io_Read( pFileName0, IO_FILE_VERILOG, 1, 0 ); in Abc_NtkTryNewMiter()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcBlast.c | 2466 char pFileName0[1000], pFileName1[1000]; in Wlc_NtkBitBlast() local
2472 sprintf( pFileName0, "%s_lhs_.aig", pNameGeneric ); in Wlc_NtkBitBlast()
2474 Gia_AigerWrite( pGia0, pFileName0, 0, 0, 0 ); in Wlc_NtkBitBlast()
2480 … printf( "Dumped two parts of the miter into files \"%s\" and \"%s\".\n", pFileName0, pFileName1 ); in Wlc_NtkBitBlast()
|