/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaMini.c | 93 pGia = Gia_ManCleanup( pTemp = pGia ); in Gia_ManFromMiniAig() 97 return pGia; in Gia_ManFromMiniAig() 146 Gia_Man_t * pGia; in Abc_FrameGiaInputMiniAig() local 185 return pGia; in Gia_ManReadMiniAig() 256 pGia = Gia_ManCleanup( pTemp = pGia ); in Gia_ManFromMiniLut() 260 return pGia; in Gia_ManFromMiniLut() 458 return pGia; in Gia_ManReadMiniLut() 711 pGia = Gia_ManSeqCleanup( pTemp = pGia ); in Gia_MiniAigReduce() 713 return pGia; in Gia_MiniAigReduce() 770 pGia = Gia_ManCleanup( pTemp = pGia ); in Gia_MiniAigMiter() [all …]
|
H A D | giaIff.c | 33 Gia_Man_t * pGia; // mapped GIA member 96 Gia_ManIncrementTravId( pGia ); in Gia_IffObjCount() 235 p = Gia_ManIffStart( pGia ); in Gia_ManIffPerform() 236 p->pGia = pGia; in Gia_ManIffPerform() 366 Gia_ManIncrementTravId( p->pGia ); in Gia_ManIffSelect() 421 if ( pGia->pManTime == NULL ) in Gia_ManIffTest() 422 pGia->pManTime = pTemp = Tim_ManStart( Gia_ManCiNum(pGia), Gia_ManCoNum(pGia) ); in Gia_ManIffTest() 424 p = Gia_ManIffPerform( pGia, pLib, (Tim_Man_t *)pGia->pManTime, nLutSize, nDegree ); in Gia_ManIffTest() 426 if ( pGia->pManTime == pTemp ) in Gia_ManIffTest() 427 pGia->pManTime = NULL; in Gia_ManIffTest() [all …]
|
H A D | giaGiarf.c | 73 p->pGia = pGia; in Gia_ManEquivStart() 315 Gia_ObjSetRepr( p->pGia, i, Gia_ObjRepr(p->pGia, pTable[Key]) ); in Hcd_ManClassesRehash() 379 p->pGia->pReprs = ABC_CALLOC( Gia_Rpr_t, Gia_ManObjNum(p->pGia) ); in Hcd_ManClassesCreate() 380 p->pGia->pNexts = ABC_CALLOC( int, Gia_ManObjNum(p->pGia) ); in Hcd_ManClassesCreate() 591 pRepr = Gia_ObjReprObj( pGia, Gia_ObjId(pGia, pRoot) ); in Gia_CollectRelatedClasses() 733 nBoth += Gia_ObjFailed(pGia, i) && Gia_ObjProved(pGia, i); in Gia_GiarfPrintClasses() 931 Gia_ObjSetFailed( p->pGia, Gia_ObjId(p->pGia, pMemberPrev) ); in Gia_ComputeEquivalencesLevel() 932 Gia_ObjSetFailed( p->pGia, Gia_ObjId(p->pGia, pMember) ); in Gia_ComputeEquivalencesLevel() 937 Gia_ObjSetFailed( p->pGia, Gia_ObjId(p->pGia, pMemberPrev) ); in Gia_ComputeEquivalencesLevel() 938 Gia_ObjSetFailed( p->pGia, Gia_ObjId(p->pGia, pMember) ); in Gia_ComputeEquivalencesLevel() [all …]
|
H A D | giaSplit.c | 114 p->pGia = pGia; in Spl_ManAlloc() 137 ABC_FREE( pGia->pRefs ); in Spl_ManAlloc() 138 Gia_ManCreateRefs( pGia ); in Spl_ManAlloc() 139 Gia_ManSetLutRefs( pGia ); in Spl_ManAlloc() 140 assert( Gia_ManHasMapping(pGia) ); in Spl_ManAlloc() 142 pGia->vMapping2 = Spl_ManToWecMapping( pGia ); in Spl_ManAlloc() 143 Vec_IntFreeP( &pGia->vMapping ); in Spl_ManAlloc() 145 Gia_ManStaticFanoutStart( pGia ); in Spl_ManAlloc() 155 p->pGia->vMapping = Spl_ManFromWecMapping( p->pGia, p->pGia->vMapping2 ); in Spl_ManStop() 523 pGia->pSatlutWinman = NULL; in Gia_ManComputeOneWin() [all …]
|
H A D | giaSupp.c | 39 Gia_Man_t * pGia; member 70 p->pGia = pGia; in Gia_ManSuppStart() 303 Gia_ManFillValue( pGia ); in Gia_ManSupportAndTest() 308 Gia_ManConst0(pGia)->Value = 0; in Gia_ManSupportAndTest() 339 Gia_Man_t * pGia; member 379 p->pGia = pGia; in Gia_Man2SuppStart() 402 Gia_ManCleanMark01( p->pGia ); in Gia_Man2SuppStop() 725 Vec_IntFillExtra( &p->pGia->vCopies, Gia_ManObjNum(p->pGia), -1 ); in Gia_Min2ManSolve() 752 Gia_Min2ObjCleanSatId( p->pGia, Gia_ManObj(p->pGia, iTemp) ); in Gia_Min2ManSolve() 847 Gia_ManFillValue( pGia ); in Gia_Man2SupportAndTest() [all …]
|
H A D | giaCex.c | 200 nObjs = Gia_ManObjNum(pGia); in Gia_ManCounterExampleValueStart() 207 Abc_InfoSetBit( (unsigned *)pGia->pData2, nObjs * i + Gia_ObjId(pGia, pObj) ); in Gia_ManCounterExampleValueStart() 214 Abc_InfoSetBit( (unsigned *)pGia->pData2, nObjs * i + Gia_ObjId(pGia, pObj) ); in Gia_ManCounterExampleValueStart() 221 Abc_InfoSetBit( (unsigned *)pGia->pData2, nObjs * i + Gia_ObjId(pGia, pObj) ); in Gia_ManCounterExampleValueStart() 227 if ( Abc_InfoHasBit( (unsigned *)pGia->pData2, nObjs * i + Gia_ObjId(pGia, pObjRi) ) ) in Gia_ManCounterExampleValueStart() 232 …assert( Abc_InfoHasBit( (unsigned *)pGia->pData2, nObjs * pCex->iFrame + Gia_ObjId(pGia, Gia_ManCo… in Gia_ManCounterExampleValueStart() 249 ABC_FREE( pGia->pData2 ); in Gia_ManCounterExampleValueStop() 250 pGia->pData2 = NULL; in Gia_ManCounterExampleValueStop() 269 return Abc_InfoHasBit( (unsigned *)pGia->pData2, Gia_ManObjNum(pGia) * iFrame + Id ); in Gia_ManCounterExampleValueLookup() 285 Gia_Obj_t * pObj = Gia_ManObj( pGia, Gia_ManObjNum(pGia)/2 ); in Gia_ManCounterExampleValueTest() [all …]
|
H A D | giaAig.c | 415 Gia_Man_t * pGia, * pTemp; in Gia_ManCofactorAig() local 417 pGia = Gia_ManUnrollAndCofactor( pTemp = pGia, nFrames, nCofFanLit, 1 ); in Gia_ManCofactorAig() 420 Gia_ManStop( pGia ); in Gia_ManCofactorAig() 496 pGia->pReprs = ABC_CALLOC( Gia_Rpr_t, Gia_ManObjNum(pGia) ); in Gia_ManReprFromAigRepr() 517 pGia->pNexts = Gia_ManDeriveNexts( pGia ); in Gia_ManReprFromAigRepr() 526 pGia->pReprs = ABC_CALLOC( Gia_Rpr_t, Gia_ManObjNum(pGia) ); in Gia_ManReprFromAigRepr2() 538 pGia->pNexts = Gia_ManDeriveNexts( pGia ); in Gia_ManReprFromAigRepr2() 554 Gia_Man_t * pGia; in Gia_ManCompress2() local 564 return pGia; in Gia_ManCompress2() 581 Gia_Man_t * pGia, * pGia1; in Gia_ManPerformDch() local [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauGia.c | 71 if ( pGia->pMuxes ) in Dau_DsdToGiaCompose_rec() 116 if ( pGia->pMuxes ) in Dau_DsdToGia2_rec() 165 if ( pGia->pMuxes ) in Dau_DsdToGia2_rec() 227 …if ( Gia_ObjLevelId(pGia, Abc_Lit2Var(pFans[i])) <= Gia_ObjLevelId(pGia, Abc_Lit2Var(pFans[i-1])) ) in Dau_DsdAddToArray() 245 else if ( pGia->pMuxes ) in Dau_DsdBalance() 258 else if ( pGia->pMuxes ) in Dau_DsdBalance() 268 else if ( pGia->pMuxes ) in Dau_DsdBalance() 361 if ( pGia->pMuxes ) in Dau_DsdToGia_rec() 368 if ( pGia->pMuxes ) in Dau_DsdToGia_rec() 376 if ( pGia->pMuxes && Vec_IntSize(&pGia->vHTable) ) in Dau_DsdToGia_rec() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcTim.c | 152 pGia = Gia_ManCleanup( pTemp = pGia ); 154 return pGia; 170 Gia_Man_t * pGia; 174 Gia_ManStop( pGia ); 317 pObj->iTemp = Abc_Var2Lit( Gia_ObjId(pGia, Gia_ManCi(pGia, curPi++)), 0 ); in Abc_NtkTestTimDeriveGia() 374 pGia = Gia_ManCleanup( pTemp = pGia ); in Abc_NtkTestTimDeriveGia() 398 return pGia; in Abc_NtkTestTimDeriveGia() 415 Gia_Man_t * pGia; in Abc_NtkTestTimPerformSynthesis() local 429 return pGia; in Abc_NtkTestTimPerformSynthesis() 619 pGia = Abc_NtkTestTimPerformSynthesis( pTemp = pGia, fUseChoices ); in Abc_NtkTestTim() [all …]
|
H A D | abcRec3.c | 310 nVars = pGia ? Gia_ManCiNum(pGia) : nVars; in Lms_ManStart() 340 p->pGia = pGia; in Lms_ManStart() 571 Gia_Man_t * pGia = p->pGia; in Abc_NtkRecLibMerge3() local 647 pTemp = Gia_ManCo(pGia, Gia_ManCoNum(pGia)-1); in Abc_NtkRecLibMerge3() 648 pTruth = Gia_ObjComputeTruthTable( pGia, Gia_ManCo(pGia, Gia_ManCoNum(pGia)-1) ); in Abc_NtkRecLibMerge3() 699 Gia_Man_t * pGia = p->pGia; in Abc_NtkRecAddCut3() local 794 pTruth = Gia_ObjComputeTruthTable( pGia, Gia_ManCo(pGia, Gia_ManCoNum(pGia)-1) ); in Abc_NtkRecAddCut3() 1037 Gia_Man_t * pGia = p->pGia; in Abc_RecToHop3() local 1070 Gia_ManForEachObjVec( pGia->vTtNodes, pGia, pGiaTemp, i ) in Abc_RecToHop3() 1111 Gia_Man_t * pGia = p->pGia; in Abc_RecToGia3() local [all …]
|
H A D | abcScorr.c | 41 Gia_Man_t * pGia; member 71 Vec_IntFill( vId2Name, pGia ? Gia_ManObjNum(pGia) : Aig_ManObjNumMax(pAig), ~0 ); in Abc_NtkMapGiaIntoNameId() 80 if ( pGia == NULL ) in Abc_NtkMapGiaIntoNameId() 95 if ( pGia == NULL ) in Abc_NtkMapGiaIntoNameId() 110 if ( pGia == NULL ) in Abc_NtkMapGiaIntoNameId() 218 Gia_Man_t * pGia = pData->pGia; in Abc_NtkTestScorrWriteEquivGia() local 229 Gia_ManSetPhase( pGia ); in Abc_NtkTestScorrWriteEquivGia() 234 pRepr = Gia_ManObj( pGia,Gia_ObjRepr(pGia, i) ); in Abc_NtkTestScorrWriteEquivGia() 328 Gia_Man_t * pGia, * pTempGia; in Abc_NtkTestScorr() local 398 pData->pGia = pGia; in Abc_NtkTestScorr() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecUtil.c | 48 if ( Gia_ObjIsTravIdCurrent(pGia, pObj) ) in Gia_PolynCollectXors_rec() 50 Gia_ObjSetTravIdCurrent(pGia, pObj); in Gia_PolynCollectXors_rec() 60 Gia_Obj_t * pObj = Gia_ManCo( pGia, Gia_ManCoNum(pGia)-1 ); in Gia_PolynCollectLastXor() 61 ABC_FREE( pGia->pRefs ); in Gia_PolynCollectLastXor() 62 Gia_ManCreateRefs( pGia ); in Gia_PolynCollectLastXor() 63 Gia_ManIncrementTravId( pGia ); in Gia_PolynCollectLastXor() 64 Gia_PolynCollectXors_rec( pGia, Gia_ObjFaninId0p(pGia, pObj), vXors ); in Gia_PolynCollectLastXor() 66 ABC_FREE( pGia->pRefs ); in Gia_PolynCollectLastXor() 73 if ( pGia->pMuxes == NULL ) in Gia_PolynAnalyzeXors() 78 assert( pGia->pMuxes ); in Gia_PolynAnalyzeXors() [all …]
|
H A D | acecCo.c | 55 …Vec_IntPushTwo( vXorPairs, Gia_ObjId(pGia, Gia_Regular(pFan0)), Gia_ObjId(pGia, Gia_Regular(pFan1)… in Gia_PolynCoreNonXors_rec() 57 Vec_Int_t * Gia_PolynAddHaRoots( Gia_Man_t * pGia ) in Gia_PolynAddHaRoots() argument 62 Gia_Obj_t * pObj = Gia_ManCo( pGia, Gia_ManCoNum(pGia)-1 ); in Gia_PolynAddHaRoots() 65 Gia_ManSetPhase( pGia ); in Gia_PolynAddHaRoots() 68 Gia_Obj_t * pFan0 = Gia_ManObj( pGia, iFan0 ); in Gia_PolynAddHaRoots() 69 Gia_Obj_t * pFan1 = Gia_ManObj( pGia, iFan1 ); in Gia_PolynAddHaRoots() 72 int iRoot = Gia_ManAppendAnd( pGia, iLit0, iLit1 ); in Gia_PolynAddHaRoots() 170 Gia_ManForEachCoDriverId( pGia, Driver, i ) in Gia_PolynCoreOrder() 260 …Gia_PolynCoreCollect_rec( pGia, Gia_ObjFaninId0p(pGia, Gia_ManObj(pGia, iObj)), vNodes, vVisited ); in Gia_PolynCoreCollect_rec() 261 …Gia_PolynCoreCollect_rec( pGia, Gia_ObjFaninId1p(pGia, Gia_ManObj(pGia, iObj)), vNodes, vVisited ); in Gia_PolynCoreCollect_rec() [all …]
|
H A D | acecOrder.c | 50 Vec_Int_t * vMap = Vec_IntStart( Gia_ManObjNum(pGia) ); in Gia_PolynFindOrder() 51 Gia_ManForEachCoDriverId( pGia, iAnd, i ) in Gia_PolynFindOrder() 55 Vec_IntFreeP( &pGia->vXors ); in Gia_PolynFindOrder() 56 pGia->vXors = Gia_PolynCollectLastXor( pGia, fVerbose ); in Gia_PolynFindOrder() 59 Vec_IntForEachEntry( pGia->vXors, iAnd, i ) in Gia_PolynFindOrder() 61 Gia_Obj_t * pAnd = Gia_ManObj( pGia, iAnd ); in Gia_PolynFindOrder() 160 if ( Entry && Gia_ObjIsAnd(Gia_ManObj(pGia, i)) ) in Gia_PolynFindOrder() 166 Gia_ManIncrementTravId( pGia ); in Gia_PolynFindOrder() 209 Gia_ManIncrementTravId( pGia ); in Gia_PolynReorder() 227 Gia_ManCollectAnds_rec( pGia, Node, vOrder ); in Gia_PolynReorder() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absRefSelect.c | 49 Gia_ManForEachObjVec( p->vMap, p->pGia, pObj, i ) in Rnm_ManPrintSelected() 50 if ( Gia_ObjIsPi(p->pGia, pObj) ) in Rnm_ManPrintSelected() 139 Gia_ManForEachObjVec( vOldPPis, p->pGia, pObj, i ) in Rnm_ManFilterSelected() 141 vFanins = Ga2_ObjLeaves( p->pGia, pObj ); in Rnm_ManFilterSelected() 154 Gia_ManForEachObjVec( vOldPPis, p->pGia, pObj, i ) in Rnm_ManFilterSelected() 156 if ( Gia_ObjIsRo(p->pGia, pObj) ) in Rnm_ManFilterSelected() 163 vFanins = Ga2_ObjLeaves( p->pGia, pObj ); in Rnm_ManFilterSelected() 226 Gia_ManForEachObjVec( vOldPPis, p->pGia, pObj, i ) in Rnm_ManFilterSelectedNew() 229 vFanins = Ga2_ObjLeaves( p->pGia, pObj ); in Rnm_ManFilterSelectedNew() 258 if ( Gia_ObjIsRo(p->pGia, pObj) ) in Rnm_ManFilterSelectedNew() [all …]
|
H A D | absRef.c | 140 Gia_ManIncrementTravId( p->pGia ); 269 p->pGia = pGia; in Rnm_ManStart() 278 if ( p->pGia->vFanout == NULL ) in Rnm_ManStart() 280 Gia_ManCleanValue(pGia); in Rnm_ManStart() 281 Gia_ManCleanMark0(pGia); in Rnm_ManStart() 282 Gia_ManCleanMark1(pGia); in Rnm_ManStart() 304 Gia_ManCleanMark0(p->pGia); in Rnm_ManStop() 305 Gia_ManCleanMark1(p->pGia); in Rnm_ManStop() 306 Gia_ManStaticFanoutStop(p->pGia); in Rnm_ManStop() 357 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ManConst0(p->pGia) ); in Rnm_ManCollect() [all …]
|
H A D | absRefJ.c | 214 assert( Gia_ManPoNum(pGia) == 1 ); in Rf2_ManStart() 216 p->pGia = pGia; in Rf2_ManStart() 221 Gia_ManCleanMark0(pGia); in Rf2_ManStart() 222 Gia_ManCleanMark1(pGia); in Rf2_ManStart() 287 Gia_ManIncrementTravId( p->pGia ); in Rf2_ManCollect() 288 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ManConst0(p->pGia) ); in Rf2_ManCollect() 296 Rf2_ManCollect_rec( p->pGia, Gia_ManPo(p->pGia, 0), p->vObjs ); in Rf2_ManCollect() 299 Rf2_ManCollect_rec( p->pGia, Gia_ObjRoToRi(p->pGia, pObj), p->vObjs ); in Rf2_ManCollect() 462 if ( Gia_ObjIsRo(p->pGia, pObj) ) in Rf2_ManGatherFanins_rec() 705 pObj = Gia_ManConst0(p->pGia); in Rf2_ManPropagate() [all …]
|
H A D | absGlaOld.c | 193 pCex = Abc_CexAlloc( Gia_ManRegNum(p->pGia), Gia_ManPiNum(p->pGia), p->pPars->iFrame+1 ); in Gla_ManDeriveCex() 236 Vec_IntPush( vCos, Gia_ObjId(p->pGia, Gia_ManPo(p->pGia, 0)) ); in Gla_ManCollect() 243 pGiaObj = Gia_ObjRoToRi( p->pGia, Gia_ManObj(p->pGia, pObj->iGiaObj) ); in Gla_ManCollect() 257 Gia_ObjSetTravIdCurrent( p->pGia, Gia_ManConst0(p->pGia) ); in Gla_ManCollect() 307 if ( Gia_ObjIsRi(p->pGia, pObj) ) in Gia_ManRefSetAndPropFanout_rec() 472 pObj = Gia_ManPo( p->pGia, 0 ); in Gla_ManVerifyUsingTerSim() 660 pObj = Gia_ManPo( p->pGia, 0 ); in Gla_ManRefinement2() 854 p->pGia->vGateClasses = Vec_IntStart( Gia_ManObjNum(p->pGia) ); in Gla_ManStart() 1011 p->pGia = pGia; in Gla_ManStart2() 1115 Gia_ManStop( p->pGia ); in Gla_ManStop() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcHieCec.c | 282 Gia_ManHashStop( pGia ); in Abc_NtkDeriveFlatGia() 284 pGia = Gia_ManCleanup( pTemp = pGia ); in Abc_NtkDeriveFlatGia() 286 return pGia; in Abc_NtkDeriveFlatGia() 401 Gia_ManHashStop( pGia ); in Abc_NtkDeriveFlatGia2Derive() 403 pGia = Gia_ManCleanup( pGiaBox = pGia ); in Abc_NtkDeriveFlatGia2Derive() 408 return pGia; in Abc_NtkDeriveFlatGia2Derive() 468 return pGia; in Abc_NtkDeriveFlatGia2() 671 Gia_Man_t * pGia; in Abc_NtkHieCecTest() local 708 Gia_Man_t * pGia; in Abc_NtkHieCecTest() local 711 return pGia; in Abc_NtkHieCecTest() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/ |
H A D | bmcUnroll.c | 168 pObj = Gia_ManObj( p->pGia, iObj ); in Unr_ManSetup_rec() 181 Vec_IntPush( vRoots, (iFanin = Gia_ObjId(p->pGia, Gia_ObjRoToRi(p->pGia, pObj))) ); in Unr_ManSetup_rec() 202 Gia_ManForEachPo( p->pGia, pObj, i ) in Unr_ManSetup() 279 … pUnrObj->hFan0 = Vec_IntEntry( vMap, Gia_ObjId(p->pGia, Gia_ObjRoToRi(p->pGia, pObj)) ); in Unr_ManSetup() 325 p->pGia = pGia; in Unr_ManAlloc() 326 p->nObjs = Gia_ManObjNum(pGia); in Unr_ManAlloc() 372 p = Unr_ManAlloc( pGia ); in Unr_ManUnrollStart() 419 p = Unr_ManUnrollStart( pGia, 1 ); in Unr_ManUnroll() 446 Gia_ManConst0(pGia)->Value = 0; in Unr_ManUnrollSimple() 447 Gia_ManForEachRi( pGia, pObj, i ) in Unr_ManUnrollSimple() [all …]
|
H A D | bmcLoad.c | 35 Gia_Man_t * pGia; // unrolled AIG member 62 Gia_Obj_t * pObj = Gia_ManObj( p->pGia, Id ); in Bmc_LoadGetSatVar() 104 Gia_Obj_t * pObj = Gia_ManObj( p->pGia, Id ); in Bmc_LoadAddCnf_rec() 126 Bmc_Load_t * Bmc_LoadStart( Gia_Man_t * pGia ) in Bmc_LoadStart() argument 130 Gia_ManSetPhase( pGia ); in Bmc_LoadStart() 131 Gia_ManCleanValue( pGia ); in Bmc_LoadStart() 132 Gia_ManCreateRefs( pGia ); in Bmc_LoadStart() 134 p->pGia = pGia; in Bmc_LoadStart() 161 void Bmc_LoadTest( Gia_Man_t * pGia, int fLoadCnf, int fVerbose ) in Bmc_LoadTest() argument 169 p = Bmc_LoadStart( pGia ); in Bmc_LoadTest() [all …]
|
H A D | bmcBmcG.c | 77 assert( Gia_ManRegNum(pGia) > 0 ); in Bmcg_ManStart() 79 p->pGia = pGia; in Bmcg_ManStart() 133 pObj = Gia_ManObj( p->pGia, iObj ); in Bmcg_ManUnfold_rec() 136 if ( Gia_ObjIsPi(p->pGia, pObj) ) in Bmcg_ManUnfold_rec() 143 pObj = Gia_ObjRoToRi( p->pGia, pObj ); in Bmcg_ManUnfold_rec() 201 Gia_ManForEachPo( p->pGia, pObj, i ) in Bmcg_ManUnfold() 219 for ( i = 0; i < Gia_ManPoNum(p->pGia); i++ ) in Bmcg_ManUnfold() 308 …ex = Abc_CexMakeTriv( Gia_ManRegNum(p->pGia), Gia_ManPiNum(p->pGia), Gia_ManPoNum(p->pGia), f*Gia_… in Bmcg_ManGenerateCex() 317 … Abc_InfoSetBit( pCex->pData, Gia_ManRegNum(p->pGia) + iFrame * Gia_ManPiNum(p->pGia) + iCiId ); in Bmcg_ManGenerateCex() 362 Abc_CexFreeP( &pGia->pCexSeq ); in Bmcg_ManPerformOne() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/ |
H A D | cmdPlugin.c | 297 ABC_FREE( pGia->pRefs ); in Abc_ManExpandCex() 298 Gia_ManCreateRefs( pGia ); in Abc_ManExpandCex() 299 k = Gia_ManRegNum( pGia ); in Abc_ManExpandCex() 361 Gia_Man_t * pGia = NULL; in Abc_ManReadAig() local 397 return pGia; in Abc_ManReadAig() 418 Gia_Man_t * pGia; in Cmd_CommandAbcPlugIn() local 436 if ( pAbc->pGia == NULL ) in Cmd_CommandAbcPlugIn() 561 nFrames = (Vec_IntSize(vCex) - Gia_ManRegNum(pAbc->pGia)) / Gia_ManPiNum(pAbc->pGia); in Cmd_CommandAbcPlugIn() 562 nRemain = (Vec_IntSize(vCex) - Gia_ManRegNum(pAbc->pGia)) % Gia_ManPiNum(pAbc->pGia); in Cmd_CommandAbcPlugIn() 604 if ( pGia != NULL ) in Cmd_CommandAbcPlugIn() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
H A D | satSolver2i.c | 65 p->pGia->pName = Abc_UtilStrsav( "interpolant" ); in Int2_ManStart() 67 Gia_ManAppendCi( p->pGia ); in Int2_ManStart() 68 Gia_ManHashStart( p->pGia ); in Int2_ManStart() 75 Gia_ManStopP( &p->pGia ); in Int2_ManStop() 83 Gia_Man_t * pTemp, * pGia = p->pGia; p->pGia = NULL; in Int2_ManReadInterpolant() local 88 assert( Gia_ManPoNum(pGia) == 0 ); in Int2_ManReadInterpolant() 89 Gia_ManAppendCo( pGia, pSat->hProofLast ); in Int2_ManReadInterpolant() 92 pGia = Gia_ManCleanup( pTemp = pGia ); in Int2_ManReadInterpolant() 94 return (void *)pGia; in Int2_ManReadInterpolant() 126 CiId = Gia_ObjId( p->pGia, Gia_ManCi(p->pGia, Var) ); in Int2_ManChainStart() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
H A D | mfsGia.c | 124 assert( p->pGia == NULL ); in Abc_NtkMfsConstructGia() 125 p->pGia = Gia_ManCreateResubMiter( p->pAigWin ); in Abc_NtkMfsConstructGia() 127 Gia_ManCreateRefs( p->pGia ); in Abc_NtkMfsConstructGia() 128 Gia_ManCleanMark0( p->pGia ); in Abc_NtkMfsConstructGia() 129 Gia_ManCleanMark1( p->pGia ); in Abc_NtkMfsConstructGia() 130 Gia_ManFillValue ( p->pGia ); // maps nodes into trail ids in Abc_NtkMfsConstructGia() 131 Gia_ManCleanPhase( p->pGia ); in Abc_NtkMfsConstructGia() 133 p->pTas = Tas_ManAlloc( p->pGia, nBTLimit ); in Abc_NtkMfsConstructGia() 152 assert( p->pGia != NULL ); in Abc_NtkMfsDeconstructGia() 153 Gia_ManStop( p->pGia ); p->pGia = NULL; in Abc_NtkMfsDeconstructGia() [all …]
|