/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaMini.c | 62 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 D | giaAig.c | 415 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 D | giaSweeper.c | 59 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 D | giaIff.c | 33 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 D | giaKf.c | 44 Gia_Man_t * Kf_ManPerformMapping( Gia_Man_t * pGia, Jf_Par_t * pPars ) { return NULL; } in Kf_ManPerformMapping()
|
H A D | giaDeep.c | 46 Gia_Man_t * Gia_ManDeepSyn( Gia_Man_t * pGia, int TimeOut, int nAnds, int Seed, int fVerbose ) in Gia_ManDeepSyn()
|
H A D | giaIso2.c | 76 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 D | giaSplit.c | 35 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 D | giaSupMin.c | 40 Gia_Man_t * pGia; member 141 void Gia_ManSupExperiment( Gia_Man_t * pGia, Vec_Int_t * vPairs ) in Gia_ManSupExperiment()
|
H A D | giaCCof.c | 35 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 D | giaCex.c | 188 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 D | acecUtil.c | 45 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 D | acecCo.c | 45 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 D | acecOrder.c | 45 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 D | acecPolyn.c | 48 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 D | dauGia.c | 54 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 D | abcTim.c | 54 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 D | abcScorr.c | 41 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 D | abcDress3.c | 204 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 D | abcHieCec.c | 131 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 D | bmcLoad.c | 35 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 D | bmcUnroll.c | 51 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 D | cecChoice.c | 313 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 D | bacBlast.c | 277 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 D | cmdAuto.c | 90 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
|