Home
last modified time | relevance | path

Searched refs:pGia (Results 1 – 25 of 164) sorted by relevance

1234567

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaMini.c93 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 DgiaIff.c33 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 DgiaGiarf.c73 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 DgiaSplit.c114 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 DgiaSupp.c39 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 DgiaCex.c200 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 DgiaAig.c415 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 DdauGia.c71 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 DabcTim.c152 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 DabcRec3.c310 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 DabcScorr.c41 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 DacecUtil.c48 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 DacecCo.c55 …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 DacecOrder.c50 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 DabsRefSelect.c49 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 DabsRef.c140 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 DabsRefJ.c214 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 DabsGlaOld.c193 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 DabcHieCec.c282 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 DbmcUnroll.c168 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 DbmcLoad.c35 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 DbmcBmcG.c77 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 DcmdPlugin.c297 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 DsatSolver2i.c65 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 DmfsGia.c124 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 …]

1234567