Home
last modified time | relevance | path

Searched defs:pGia (Results 1 – 25 of 139) sorted by relevance

123456

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaMini.c62 Gia_Man_t * pGia, * pTemp; in Gia_ManFromMiniAig() local
146 Gia_Man_t * pGia; in Abc_FrameGiaInputMiniAig() local
158 Gia_Man_t * pGia; in Abc_FrameGiaOutputMiniAig() local
211 Gia_Man_t * pGia, * pTemp; in Gia_ManFromMiniLut() local
407 Gia_Man_t * pGia; in Abc_FrameGiaInputMiniLut() local
417 Gia_Man_t * pGia; in Abc_FrameGiaOutputMiniLut() local
431 Gia_Man_t * pGia; in Abc_FrameGiaOutputMiniLutAttr() local
567 Gia_Man_t * pGia, * pTemp; in Abc_FrameReadMiniLutNameMapping() local
681 Gia_Man_t * pGia, * pTemp; in Gia_MiniAigReduce() local
717 Gia_Man_t * pGia, * pTemp; in Gia_MiniAigMiter() local
[all …]
H A DgiaAig.c415 Gia_Man_t * pGia, * pTemp; in Gia_ManCofactorAig() local
436 void Gia_ManReprToAigRepr( Aig_Man_t * pAig, Gia_Man_t * pGia ) in Gia_ManReprToAigRepr()
460 void Gia_ManReprToAigRepr2( Aig_Man_t * pAig, Gia_Man_t * pGia ) in Gia_ManReprToAigRepr2()
488 void Gia_ManReprFromAigRepr( Aig_Man_t * pAig, Gia_Man_t * pGia ) in Gia_ManReprFromAigRepr()
519 void Gia_ManReprFromAigRepr2( Aig_Man_t * pAig, Gia_Man_t * pGia ) in Gia_ManReprFromAigRepr2()
554 Gia_Man_t * pGia; in Gia_ManCompress2() local
581 Gia_Man_t * pGia, * pGia1; in Gia_ManPerformDch() local
H A DgiaSweeper.c59 Gia_Man_t * pGia; // GIA manager under construction member
107 static inline Swp_Man_t * Swp_ManStart( Gia_Man_t * pGia ) in Swp_ManStart()
131 static inline void Swp_ManStop( Gia_Man_t * pGia ) in Swp_ManStop()
145 Gia_Man_t * Gia_SweeperStart( Gia_Man_t * pGia ) in Gia_SweeperStart()
157 void Gia_SweeperStop( Gia_Man_t * pGia ) in Gia_SweeperStop()
164 int Gia_SweeperIsRunning( Gia_Man_t * pGia ) in Gia_SweeperIsRunning()
168 double Gia_SweeperMemUsage( Gia_Man_t * pGia ) in Gia_SweeperMemUsage()
181 void Gia_SweeperPrintStats( Gia_Man_t * pGia ) in Gia_SweeperPrintStats()
789 int Gia_SweeperCheckEquiv( Gia_Man_t * pGia, int Probe1, int Probe2 ) in Gia_SweeperCheckEquiv()
924 int Gia_SweeperCondCheckUnsat( Gia_Man_t * pGia ) in Gia_SweeperCondCheckUnsat()
[all …]
H A DgiaIff.c33 Gia_Man_t * pGia; // mapped GIA member
66 Iff_Man_t * Gia_ManIffStart( Gia_Man_t * pGia ) in Gia_ManIffStart()
93 int Gia_IffObjCount( Gia_Man_t * pGia, int iObj, int iFaninSkip2, int iFaninSkip3 ) in Gia_IffObjCount()
226 Iff_Man_t * Gia_ManIffPerform( Gia_Man_t * pGia, If_LibLut_t * pLib, Tim_Man_t * pTime, int nLutSiz… in Gia_ManIffPerform()
387 void Gia_ManIffTest( Gia_Man_t * pGia, If_LibLut_t * pLib, int fVerbose ) in Gia_ManIffTest()
H A DgiaKf.c44 Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) { return NULL; } in Kf_ManPerformMapping()
H A DgiaDeep.c46 Gia_Man_t * Gia_ManDeepSyn( Gia_Man_t * pGia, int TimeOut, int nAnds, int Seed, int fVerbose ) in Gia_ManDeepSyn()
H A DgiaIso2.c76 Gia_Man_t * pGia; member
214 Gia_Iso2Man_t * Gia_Iso2ManStart( Gia_Man_t * pGia ) in Gia_Iso2ManStart()
353 Vec_Wec_t * Gia_Iso2ManDerivePoClasses( Gia_Man_t * pGia ) in Gia_Iso2ManDerivePoClasses()
411 Vec_Int_t * Gia_Iso2ManCollectOrder2( Gia_Man_t * pGia, int * pPos, int nPos ) in Gia_Iso2ManCollectOrder2()
466 void Gia_Iso2ManCollectOrder( Gia_Man_t * pGia, int * pPos, int nPos, Vec_Int_t * vRoots, Vec_Int_t… in Gia_Iso2ManCollectOrder()
680 Vec_Wec_t * Gia_Iso2ManPerform( Gia_Man_t * pGia, int fVerbose ) in Gia_Iso2ManPerform()
718 Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_Ptr_t ** pvPiPerms, … in Gia_ManIsoReduce2()
H A DgiaSplit.c35 Gia_Man_t * pGia; // user AIG with nodes marked member
110 Spl_Man_t * Spl_ManAlloc( Gia_Man_t * pGia, int Limit, int fReverse ) in Spl_ManAlloc()
516 int Gia_ManComputeOneWin( Gia_Man_t * pGia, int iPivot, Vec_Int_t ** pvRoots, Vec_Int_t ** pvNodes,… in Gia_ManComputeOneWin()
541 void Gia_ManComputeOneWinStart( Gia_Man_t * pGia, int nAnds, int fReverse ) in Gia_ManComputeOneWinStart()
558 void Spl_ManComputeOneTest( Gia_Man_t * pGia ) in Spl_ManComputeOneTest()
H A DgiaSupMin.c40 Gia_Man_t * pGia; member
141 void Gia_ManSupExperiment( Gia_Man_t * pGia, Vec_Int_t * vPairs ) in Gia_ManSupExperiment()
H A DgiaCCof.c35 Gia_Man_t * pGia; // single-output AIG manager member
62 Ccf_Man_t * Ccf_ManStart( Gia_Man_t * pGia, int nFrameMax, int nConfMax, int nTimeMax, int fVerbose… in Ccf_ManStart()
266 Gia_Man_t * Gia_ManCofTest( Gia_Man_t * pGia, int nFrameMax, int nConfMax, int nTimeMax, int fVerbo… in Gia_ManCofTest()
H A DgiaCex.c188 void Gia_ManCounterExampleValueStart( Gia_Man_t * pGia, Abc_Cex_t * pCex ) in Gia_ManCounterExampleValueStart()
246 void Gia_ManCounterExampleValueStop( Gia_Man_t * pGia ) in Gia_ManCounterExampleValueStop()
266 int Gia_ManCounterExampleValueLookup( Gia_Man_t * pGia, int Id, int iFrame ) in Gia_ManCounterExampleValueLookup()
283 void Gia_ManCounterExampleValueTest( Gia_Man_t * pGia, Abc_Cex_t * pCex ) in Gia_ManCounterExampleValueTest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecUtil.c45 void Gia_PolynCollectXors_rec( Gia_Man_t * pGia, int iObj, Vec_Int_t * vXors ) in Gia_PolynCollectXors_rec()
57 Vec_Int_t * Gia_PolynCollectLastXor( Gia_Man_t * pGia, int fVerbose ) in Gia_PolynCollectLastXor()
69 void Gia_PolynAnalyzeXors( Gia_Man_t * pGia, int fVerbose ) in Gia_PolynAnalyzeXors()
H A DacecCo.c45 void Gia_PolynCoreNonXors_rec( Gia_Man_t * pGia, Gia_Obj_t * pObj, Vec_Int_t * vXorPairs ) in Gia_PolynCoreNonXors_rec()
57 Vec_Int_t * Gia_PolynAddHaRoots( Gia_Man_t * pGia ) in Gia_PolynAddHaRoots()
108 Vec_Int_t * Gia_PolynCoreOrder_int( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Wec_t * vMap, Vec_Int_… in Gia_PolynCoreOrder_int()
163 Vec_Int_t * Gia_PolynCoreOrder( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Int_t * vAddCos, Vec_Int_t… in Gia_PolynCoreOrder()
222 Vec_Wec_t * Gia_PolynCoreOrderArray( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Int_t * vRootBoxes ) in Gia_PolynCoreOrderArray()
255 void Gia_PolynCoreCollect_rec( Gia_Man_t * pGia, int iObj, Vec_Int_t * vNodes, Vec_Bit_t * vVisited… in Gia_PolynCoreCollect_rec()
264 Vec_Int_t * Gia_PolynCoreCollect( Gia_Man_t * pGia, Vec_Int_t * vAdds, Vec_Int_t * vOrder ) in Gia_PolynCoreCollect()
299 void Gia_PolynCorePrintCones( Gia_Man_t * pGia, Vec_Int_t * vLeaves, int fVerbose ) in Gia_PolynCorePrintCones()
388 Gia_Man_t * Gia_PolynCoreDetectTest_int( Gia_Man_t * pGia, Vec_Int_t * vAddCos, int fAddCones, int … in Gia_PolynCoreDetectTest_int()
414 Gia_Man_t * Gia_PolynCoreDetectTest( Gia_Man_t * pGia, int fAddExtra, int fAddCones, int fVerbose ) in Gia_PolynCoreDetectTest()
H A DacecOrder.c45 Vec_Int_t * Gia_PolynFindOrder( Gia_Man_t * pGia, Vec_Int_t * vFadds, Vec_Int_t * vHadds, int fVerb… in Gia_PolynFindOrder()
199 Vec_Int_t * Gia_PolynReorder( Gia_Man_t * pGia, int fVerbose, int fVeryVerbose ) in Gia_PolynReorder()
H A DacecPolyn.c48 Gia_Man_t * pGia; // AIG manager member
76 Pln_Man_t * Pln_ManAlloc( Gia_Man_t * pGia, Vec_Int_t * vOrder ) in Pln_ManAlloc()
340 void Gia_PolynBuild( Gia_Man_t * pGia, Vec_Int_t * vOrder, int fSigned, int fVerbose, int fVeryVerb… in Gia_PolynBuild()
428 void Gia_PolynBuild2( Gia_Man_t * pGia, int fSigned, int fVerbose, int fVeryVerbose ) in Gia_PolynBuild2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauGia.c54 int Dau_DsdToGiaCompose_rec( Gia_Man_t * pGia, word Func, int * pFanins, int nVars ) in Dau_DsdToGiaCompose_rec()
88 int Dau_DsdToGia2_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, int * pLits, Vec_I… in Dau_DsdToGia2_rec()
195 int Dau_DsdToGia2( Gia_Man_t * pGia, char * p, int * pLits, Vec_Int_t * vCover ) in Dau_DsdToGia2()
219 void Dau_DsdAddToArray( Gia_Man_t * pGia, int * pFans, int nFans, int iFan ) in Dau_DsdAddToArray()
232 int Dau_DsdBalance( Gia_Man_t * pGia, int * pFans, int nFans, int fAnd ) in Dau_DsdBalance()
282 int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, int * pLits, Vec_In… in Dau_DsdToGia_rec()
417 int Dau_DsdToGia( Gia_Man_t * pGia, char * p, int * pLits, Vec_Int_t * vCover ) in Dau_DsdToGia()
445 Gia_Man_t * pGia = (Gia_Man_t *)p; in Dsm_ManTruthToGia() local
503 void * Dsm_ManDeriveGia( void * pGia, int fUseMuxes ) in Dsm_ManDeriveGia()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcTim.c54 void Abc_NtkTestTimNodeStrash_rec( Gia_Man_t * pGia, Hop_Obj_t * pObj ) in Abc_NtkTestTimNodeStrash_rec()
65 int Abc_NtkTestTimNodeStrash( Gia_Man_t * pGia, Abc_Obj_t * pNode ) in Abc_NtkTestTimNodeStrash()
274 Gia_Man_t * pGia = NULL; in Abc_NtkTestTimDeriveGia() local
415 Gia_Man_t * pGia; in Abc_NtkTestTimPerformSynthesis() local
552 void Abc_NtkTestTimByWritingFile( Gia_Man_t * pGia, char * pFileName ) in Abc_NtkTestTimByWritingFile()
599 Gia_Man_t * pGia, * pTemp; in Abc_NtkTestTim() local
H A DabcScorr.c41 Gia_Man_t * pGia; member
64 Vec_Int_t * Abc_NtkMapGiaIntoNameId( Abc_Ntk_t * pNetlist, Aig_Man_t * pAig, Gia_Man_t * pGia ) in Abc_NtkMapGiaIntoNameId()
218 Gia_Man_t * pGia = pData->pGia; in Abc_NtkTestScorrWriteEquivGia() local
328 Gia_Man_t * pGia, * pTempGia; in Abc_NtkTestScorr() local
H A DabcDress3.c204 static inline void Abc_NtkCollectAddOne( int iNtk, int iObj, int iGiaLit, Gia_Man_t * pGia, Vec_Int… in Abc_NtkCollectAddOne()
213 Vec_Int_t * Abc_NtkCollectEquivClasses( Abc_Ntk_t * pNtks[2], Gia_Man_t * pGia ) in Abc_NtkCollectEquivClasses()
295 Gia_Man_t * pGia = Abc_NtkAigToGiaTwo( pNtks[0], pNtks[1], fByName ); in Abc_NtkDumpEquiv() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcHieCec.c131 int Abc_NtkDeriveFlatGiaSop( Gia_Man_t * pGia, int * gFanins, char * pSop ) in Abc_NtkDeriveFlatGiaSop()
181 void Abc_NtkDeriveFlatGia_rec( Gia_Man_t * pGia, Abc_Ntk_t * pNtk ) in Abc_NtkDeriveFlatGia_rec()
261 Gia_Man_t * pTemp, * pGia = NULL; in Abc_NtkDeriveFlatGia() local
336 Gia_Man_t * pGiaBox, * pGia = NULL; in Abc_NtkDeriveFlatGia2Derive() local
453 Gia_Man_t * pGia = NULL; in Abc_NtkDeriveFlatGia2() local
671 Gia_Man_t * pGia; in Abc_NtkHieCecTest() local
708 Gia_Man_t * pGia; in Abc_NtkHieCecTest() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcLoad.c35 Gia_Man_t * pGia; // unrolled AIG member
126 Bmc_Load_t * Bmc_LoadStart( Gia_Man_t * pGia ) in Bmc_LoadStart()
161 void Bmc_LoadTest( Gia_Man_t * pGia, int fLoadCnf, int fVerbose ) in Bmc_LoadTest()
H A DbmcUnroll.c51 Gia_Man_t * pGia; // the user's AIG manager member
321 Unr_Man_t * Unr_ManAlloc( Gia_Man_t * pGia ) in Unr_ManAlloc()
368 Unr_Man_t * Unr_ManUnrollStart( Gia_Man_t * pGia, int fVerbose ) in Unr_ManUnrollStart()
414 Gia_Man_t * Unr_ManUnroll( Gia_Man_t * pGia, int nFrames ) in Unr_ManUnroll()
438 Gia_Man_t * Unr_ManUnrollSimple( Gia_Man_t * pGia, int nFrames ) in Unr_ManUnrollSimple()
480 void Unr_ManTest( Gia_Man_t * pGia, int nFrames ) in Unr_ManTest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecChoice.c313 Gia_Man_t * Cec_ManChoiceComputationVec( Gia_Man_t * pGia, int nGias, Cec_ParChc_t * pPars ) in Cec_ManChoiceComputationVec()
353 Gia_Man_t * pGia; in Cec_ManChoiceComputation() local
385 Aig_Man_t * Cec_ComputeChoices( Gia_Man_t * pGia, Dch_Pars_t * pPars ) in Cec_ComputeChoices()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacBlast.c277 void Bac_ManMarkNodesGia( Bac_Man_t * p, Gia_Man_t * pGia ) in Bac_ManMarkNodesGia()
321 void Bac_NtkCreateAndConnectBuffer( Gia_Man_t * pGia, Gia_Obj_t * pObj, Bac_Ntk_t * p, int iTerm ) in Bac_NtkCreateAndConnectBuffer()
336 void Bac_NtkInsertGia( Bac_Man_t * p, Gia_Man_t * pGia ) in Bac_NtkInsertGia()
399 Bac_Man_t * Bac_ManInsertGia( Bac_Man_t * p, Gia_Man_t * pGia ) in Bac_ManInsertGia()
422 Gia_Man_t * pGia = Bac_ManExtract( p, 1, 0 ); in Bac_ManBlastTest() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/
H A DcmdAuto.c90 Gia_Man_t * pGia; in Cmd_RunAutoTunerEvalSimple() local
123 Gia_Man_t * pGia; member
597 Gia_Man_t * pGia; in Cmd_ReadFiles() local
645 Gia_Man_t * pGia; in Cmd_RunAutoTuner() local

123456