Home
last modified time | relevance | path

Searched refs:Abc_NtkName (Results 1 – 25 of 27) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDress3.c172 p->pName = Abc_UtilStrsav( Abc_NtkName(pNtk1) ); in Abc_NtkAigToGiaTwo()
263 …computed by ABC for networks \"%s\" and \"%s\" on %s\n\n", Abc_NtkName(pNtks[0]), Abc_NtkName(pNtk… in Abc_NtkDumpEquivFile()
270 … fprintf( pFile, "%d:%s:%s%s\n", c+1, Abc_NtkName(pNtk), (Entry&2) ? "NOT:":"", pObjName ); in Abc_NtkDumpEquivFile()
297 …for networks \"%s\" and \"%s\" with conflict limit %d.\n", Abc_NtkName(pNtks[0]), Abc_NtkName(pNtk… in Abc_NtkDumpEquiv()
H A DabcMffc.c517 …sprintf( pFileName, "%s_mffc%04d_%02d.blif", Abc_NtkName(pNtk), Abc_ObjId(pObj), Vec_PtrSize(vNode… in Abc_NktMffcTest()
1233 …sprintf( pFileName, "%sc%04di%02dn%02d.blif", Abc_NtkName(pNtk), i, Vec_IntSize(vLeaves), Vec_IntS… in Abc_NktMffcServerTest()
H A DabcTim.c176 Abc_NtkName(pNtk), pFileName );
H A DabcMfs.c410 pNtk->pName = Extra_UtilStrsav(Abc_NtkName(p)); in Abc_NtkUnrollAndDrop()
H A DabcStrash.c751 fprintf( pFile, " \"%s\", ", Abc_NtkName(pNtk) ); in Abc_NtkWriteAig()
H A DabcIf.c221 pIfMan->pName = Abc_UtilStrsav( Abc_NtkName(pNtk) ); in Abc_NtkToIf()
H A DabcDetect.c96 pFileName, Abc_NtkName(pNtk), Abc_NtkNodeNum(pNtk), Count-1, fStuckAt ? "stuck-at ":"" ); in Abc_NtkGenFaultList()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcHie.c78 sprintf( Suffix, "_%s_%d", Abc_NtkName(pNtk), *pCounter ); in Abc_NtkFlattenLogicHierarchy2_rec()
389 Vec_StrPrintStr( vPref, Abc_NtkName(pNtkModel) ); in Abc_NtkFlattenLogicHierarchy_rec()
417 return strcmp( Abc_NtkName(*p1), Abc_NtkName(*p2) ); in Abc_NtkCompareNames()
475 printf( "%-30s : ", Abc_NtkName(pModel) ); in Abc_NtkPrintBoxInfo()
485 printf( "%15d : %s\n", Num, Abc_NtkName((Abc_Ntk_t *)Vec_PtrEntry(vMods, k)) ); in Abc_NtkPrintBoxInfo()
493 printf( "%-30s : ", Abc_NtkName(pModel) ); in Abc_NtkPrintBoxInfo()
552 Vec_StrPrintStr( vPref, Abc_NtkName(pNtk) ); in Abc_NtkFlattenLogicHierarchy()
H A DabcBarBuf.c65 Abc_NtkName(pNtk), Abc_NtkLatchNum(pModel) ); in Abc_NtkCheckSingleInstance()
71 Abc_NtkName(pNtk), Abc_ObjName(pBox), Abc_NtkName(pModel) ); in Abc_NtkCheckSingleInstance()
218 sprintf( Buffer, "_%s_in", Abc_NtkName(pTemp) ); in Abc_NtkToBarBufs()
220 sprintf( Buffer, "_%s_out", Abc_NtkName(pTemp) ); in Abc_NtkToBarBufs()
H A DabcLib.c209 printf( " %20s (whitebox)\n", Abc_NtkName((Abc_Ntk_t *)pObj->pData) ); in Abc_DesPrint()
211 printf( " %20s (blackbox)\n", Abc_NtkName((Abc_Ntk_t *)pObj->pData) ); in Abc_DesPrint()
H A DabcHieCec.c270 pGia->pName = Abc_UtilStrsav( Abc_NtkName(pNtk) ); in Abc_NtkDeriveFlatGia()
347 pGia->pName = Abc_UtilStrsav( Abc_NtkName(pNtk) ); in Abc_NtkDeriveFlatGia2Derive()
645 … printf( "WARNING: Model \"%s\" contains a recursive definition.\n", Abc_NtkName(pModel) ); in Abc_NtkCheckRecursive()
H A DabcShow.c460 …fprintf( pFile, "# Flop dependency for \"%s\" generated by ABC on %s\n", Abc_NtkName(pNtk), Extra_… in Abc_NtkWriteFlopDependency()
H A DabcDfs.c1544 fprintf( stdout, "Network \"%s\" contains combinational loop!\n", Abc_NtkName(pNtk) ); in Abc_NtkIsAcyclic_rec()
1659 fprintf( stdout, "Network \"%s\" contains combinational loop!\n", Abc_NtkName(pNtk) ); in Abc_NtkIsAcyclicWithBoxes_rec()
H A DabcFunc.c988 pNew->pName = Abc_UtilStrsav( Abc_NtkName(p) ); in Abc_NtkAigToGia()
H A DabcHieNew.c1451 p = Au_NtkAlloc( pMan, Abc_NtkName(pNtk) ); in Au_NtkDerive()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadVerilog.c66 printf( " %s", Abc_NtkName(pTemp) ); in Io_ReadVerilog()
H A DioWriteBblif.c62 p = Bbl_ManStart( Abc_NtkName(pNtk) ); in Bbl_ManFromAbc()
H A DioWriteBlifMv.c104 fprintf( pFile, ".model %s\n", Abc_NtkName(pNtk) ); in Io_NtkWriteBlifMv()
335 fprintf( pFile, ".subckt %s %s", Abc_NtkName(pModel), Abc_ObjName(pNode) ); in Io_NtkWriteBlifMvSubckt()
H A DioWriteBlif.c132 fprintf( pFile, ".model %s\n", Abc_NtkName(pNtk) ); in Io_NtkWrite()
405 fprintf( pFile, ".subckt %s", Abc_NtkName(pModel) ); in Io_NtkWriteSubckt()
1328 fprintf( pFile, ".model %s\n", Abc_NtkName(pNtk) ); in Io_WriteBlifInt()
H A DioWriteVerilog.c119 fprintf( pFile, "module %s ( ", Io_WriteVerilogGetName(Abc_NtkName(pNtk)) ); in Io_WriteVerilogInt()
H A DioReadBlifMv.c930 …Io_MvGetLine(p, pMod->pName), Abc_NtkName(pMod->pNtk), Vec_PtrSize(pMod->vLatches), Vec_PtrSize(pM… in Io_MvParse()
1508 Io_MvGetLine(p->pMan, pToken), pToken, Abc_NtkName(p->pNtk) ); in Io_MvParseLineOnehot()
1516 Io_MvGetLine(p->pMan, pToken), pToken, Abc_NtkName(p->pNtk) ); in Io_MvParseLineOnehot()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbAbc.c50 int i, k, NameId = Abc_NamStrFindOrAdd( pMan->pStrs, Abc_NtkName(p), NULL ); in Acb_NtkFromAbc2()
76 int i, k, NameId = Abc_NamStrFindOrAdd( pMan->pStrs, Abc_NtkName(p), NULL ); in Acb_NtkFromAbc()
H A DacbUtil.c758 pNew->pName = Abc_UtilStrsav(Abc_NtkName(p)); in Abc_NtkToGia2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacPtrAbc.c138 Vec_PtrPush( vBox, Abc_NtkName(pNtk) ); in Ptr_AbcDeriveBox()
186 Vec_PtrPush( vNtk, Abc_NtkName(pNtk) ); in Ptr_AbcDeriveNtk()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/ver/
H A DverCore.c2424 printf( "%s (%d) ", Abc_NtkName(pNtk), pNtk->fHiePath ); in Ver_ParseReportUndefBoxes()
2587 …f( pMan->sError, "Missing specification of the I/Os of undefined box \"%s\".", Abc_NtkName(pNtk) ); in Ver_ParseDriveFormal()
2769 fprintf( pFile, "%-50s : ", Abc_NtkName(pNtk) ); in Ver_ParsePrintLog()
2844 …Abc_NtkName(pNtk), Abc_ObjName(pBox), Abc_NtkName(pNtkBox), nActNets, Abc_NtkPiNum(pNtkBox) + Abc_… in Ver_ParsePrintLog()

12