| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcTim.c | 173 Gia_AigerWrite( pGia, pFileName, 0, 0, 0 );
394 Gia_AigerWrite( pHoles, "holes00.aig", 0, 0, 0 ); in Abc_NtkTestTimDeriveGia()
563 Gia_AigerWrite( pGia, pFileName, 0, 0, 0 ); in Abc_NtkTestTimByWritingFile()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecSeq.c | 404 Gia_AigerWrite( pAig, "gore.aig", 0, 0, 0 ); in Cec_ManSeqSemiformal()
411 Gia_AigerWrite( pReduce, "gsrm.aig", 0, 0, 0 ); in Cec_ManSeqSemiformal()
|
| H A D | cecSynth.c | 312 Gia_AigerWrite( pTemp, Buffer, 0, 0, 0 ); in Cec_SequentialSynthesisPart()
|
| H A D | cecCore.c | 496 Gia_AigerWrite( p->pAig, "gia_cec_temp.aig", 0, 0, 0 ); in Cec_ManSatSweeping()
|
| H A D | cecCec.c | 395 Gia_AigerWrite( pNew, "gia_cec_undecided.aig", 0, 0, 0 ); in Cec_ManVerify()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
| H A D | bmcCexMin2.c | 337 Gia_AigerWrite( pNew, "temp.aig", 0, 0, 0 ); in Gia_ManCexMin()
348 Gia_AigerWrite( pNew, "temp.aig", 0, 0, 0 ); in Gia_ManCexMin()
|
| H A D | bmcCexDepth.c | 113 Gia_AigerWrite( pTemp, "miter3.aig", 0, 0, 0 ); in Bmc_CexTarget()
311 Gia_AigerWrite( pNew, "miter2.aig", 0, 0, 0 ); in Bmc_CexBuildNetwork2Test()
|
| H A D | bmcUnroll.c | 492 Gia_AigerWrite( pFrames0, "frames0.aig", 0, 0, 0 ); in Unr_ManTest()
493 Gia_AigerWrite( pFrames1, "frames1.aig", 0, 0, 0 ); in Unr_ManTest()
|
| H A D | bmcBmcAnd.c | 714 Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0, 0 ); in Gia_ManBmcPerform_Unr()
796 Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0, 0 ); in Gia_ManBmcPerform_old_cnf()
980 Gia_AigerWrite( p->pFrames, "frames.aig", 0, 0, 0 ); in Gia_ManBmcPerformInt()
|
| H A D | bmcEco.c | 294 Gia_AigerWrite( pMiter, "eco_miter.aig", 0, 0, 0 ); in Bmc_EcoMiterTest()
|
| H A D | bmcCexTools.c | 176 Gia_AigerWrite( pNew, "unroll.aig", 0, 0, 0 ); in Bmc_CexPerformUnrollingTest()
288 Gia_AigerWrite( pNew, "unate.aig", 0, 0, 0 ); in Bmc_CexBuildNetworkTest()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acecOrder.c | 176 Gia_AigerWrite( pNew, "leftover.aig", 0, 0, 0 ); in Gia_PolynFindOrder()
|
| H A D | acecCore.c | 530 Gia_AigerWrite( pMiter, "acec_miter.aig", 0, 0, 0 ); in Acec_Solve()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilPath.c | 101 Gia_AigerWrite( pGia, "testpath.aig", 0, 0, 0 ); in Abc_EnumeratePathsTest()
356 Gia_AigerWrite( pGia, pFileName, 0, 0, 0 ); in Abc_GraphDeriveGiaDump()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaMini.c | 786 Gia_AigerWrite( pGia, pFileMiter, 0, 0, 0 ); in Gia_MiniAigVerify()
791 Gia_AigerWrite( pGia, pFileReduced, 0, 0, 0 ); in Gia_MiniAigVerify()
|
| H A D | giaTim.c | 1024 Gia_AigerWrite( pGia0, pFileName0, 0, 0, 0 ); in Gia_ManVerifyWithBoxes()
1025 Gia_AigerWrite( pGia1, pFileName1, 0, 0, 0 ); in Gia_ManVerifyWithBoxes()
|
| H A D | giaMan.c | 249 Gia_AigerWrite( pTemp, "dom1.aig", 0, 0, 0 ); in Gia_ManPrintClasses_old()
252 Gia_AigerWrite( pTemp, "dom2.aig", 0, 0, 0 ); in Gia_ManPrintClasses_old()
|
| H A D | giaHcd.c | 629 Gia_AigerWrite( pMiter, "m3.aig", 0, 0, 0 ); in Hcd_ComputeChoices()
|
| H A D | giaAiger.c | 1086 void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int fCompact, int fWri… in Gia_AigerWrite() function
1443 Gia_AigerWrite( p, Buffer, 0, 0, 0 ); in Gia_DumpAiger()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
| H A D | utilBridge.c | 554 Gia_AigerWrite( p, "temp.aig", 0, 0, 0 ); in Gia_ManFromBridgeTest()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/ |
| H A D | cmdPlugin.c | 505 Gia_AigerWrite( pAbc->pGia, pFileIn, 0, 0, 0 ); in Cmd_CommandAbcPlugIn()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbCom.c | 667 Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
| H A D | bacCom.c | 654 Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 ); in Bac_CommandCec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/ |
| H A D | cbaCom.c | 665 Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 ); in Cba_CommandCec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absGla.c | 1433 Gia_AigerWrite( p->pGia, pFileName, 0, 0, 0 ); in Ga2_GlaDumpAbsracted()
1446 Gia_AigerWrite( pAbs, pFileName, 0, 0, 0 ); in Ga2_GlaDumpAbsracted()
1566 Gia_AigerWrite( pAig, pFileName, 0, 0, 0 ); in Gia_ManPerformGla()
|