| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
| H A D | cbaWriteVer.c | 158 return Vec_StrPrintF( Abc_NamBuffer(p->pStrs), "\\%s ", pName ); in Prs_ObjGetName()
165 return Vec_StrPrintF( Abc_NamBuffer(p->pStrs), "[%d]", Right ); in Prs_ManWriteRange()
404 Vec_StrPrintF( vStr, "signed " ); in Cba_ManWriteFonRange()
412 Vec_StrPrintF( vStr, "Open_%d", Cba_NtkMan(p)->nOpens++ ); in Cba_ManWriteFonName()
522 Vec_StrPrintF( vStr, "%s ", Cba_ObjGetName(p, iObj) ); in Cba_ManWriteVerilogNtk()
558 Vec_StrPrintF( vStr, " %s( ", pBoxName[Num] ); in Cba_ManWriteVerilogNtk()
591 Vec_StrPrintF( vStr, "%sd%d", i > 1 ? ", " : "", i-1 ); in Cba_ManWriteVerilogNtk()
603 Vec_StrPrintF( vStr, " %d\'b", nBits ); in Cba_ManWriteVerilogNtk()
616 Vec_StrPrintF( vStr, " = d%d;\n", i-1 ); in Cba_ManWriteVerilogNtk()
661 Vec_StrPrintF( vStr, " %d\'b", nBitsIn ); in Cba_ManWriteVerilogNtk()
[all …]
|
| H A D | cba.h | 488 Vec_StrPrintF( vOut, "%d\'b%s", Vec_StrSize(vBits)-1, Vec_StrArray(vBits) ); in Cba_ManNewConstId()
494 Vec_StrPrintF( vOut, "%d\'b%0s", nBits, "" ); in Cba_ManNewConstZero()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbFunc.c | 1886 Vec_StrPrintF( vStr, "ww%d", nWires++ ); in Acb_GenerateSignalNames()
1909 Vec_StrPrintF( vStr, ", %s", Acb_ObjNameStr(p, iObj) ); in Acb_GeneratePatch()
1950 Vec_StrPrintF( vStr, " );\n" ); in Acb_GeneratePatch()
1981 Vec_StrPrintF( vStr, ", .%s(%s)", pName, pName ); in Acb_GenerateInstance2()
2005 Vec_StrPrintF( vStr, "ww%d", nWires++ ); in Acb_GenerateSignalNames2()
2024 Vec_StrPrintF( vStr, "%s %s", i ? ",":"", pName ); in Acb_GeneratePatch2()
2026 Vec_StrPrintF( vStr, ", %s", pName ); in Acb_GeneratePatch2()
2031 Vec_StrPrintF( vStr, "%s %s", i ? ",":"", pName ); in Acb_GeneratePatch2()
2036 Vec_StrPrintF( vStr, "%s %s", i ? ",":"", pName ); in Acb_GeneratePatch2()
2067 Vec_StrPrintF( vStr, " );\n" ); in Acb_GeneratePatch2()
[all …]
|
| H A D | acb.h | 657 Vec_StrPrintF( vOut, "%d\'b%s", Vec_StrSize(vBits)-1, Vec_StrArray(vBits) ); in Acb_ManNewConstId()
663 Vec_StrPrintF( vOut, "%d\'b%0s", nBits, "" ); in Acb_ManNewConstZero()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/main/ |
| H A D | mainReal.c | 208 Vec_StrPrintF(sCommandUsr, "source %s", globalUtilOptarg ); in Abc_RealMain()
217 Vec_StrPrintF(sCommandUsr, "source -x %s", globalUtilOptarg ); in Abc_RealMain()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/ |
| H A D | cmdPlugin.c | 699 Vec_StrPrintF(sCommandLine, "%s -abc -list-commands > %s", pStrDirBin, pTempFile ); in Cmd_CommandAbcLoadPlugIn()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/ |
| H A D | AbcGlucose.cpp | 755 Vec_StrPrintF( vCube, " 1\n\0" ); in Glucose_GenerateCubes()
824 Vec_StrPrintF( vSop, " %d\n\0", !n ); in bmcg_sat_solver_sop()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/ |
| H A D | vecStr.h | 695 static inline char * Vec_StrPrintF( Vec_Str_t * p, const char * format, ... ) in Vec_StrPrintF() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcFault.c | 78 Vec_StrPrintF( vStr, "%s", ppNamesIn[Gia_ObjCioId(pObj)] ); in Gia_DeriveFormula_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaIf.c | 1575 Vec_StrPrintF( vConfigsStr, "%d", Abc_Lit2Var(iLit) ); in Gia_ManFromIfGetConfig()
|