Home
last modified time | relevance | path

Searched refs:pAigNew (Results 1 – 25 of 26) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigDual.c84 Aig_Man_t * pAigNew; in Saig_ManDupDual() local
102 pTemp0 = Aig_ObjCreateCi( pAigNew ); in Saig_ManDupDual()
103 pTemp1 = Aig_ObjCreateCi( pAigNew ); in Saig_ManDupDual()
107 pTemp1 = Aig_ObjCreateCi( pAigNew ); in Saig_ManDupDual()
112 pTemp0 = Aig_ObjCreateCi( pAigNew ); in Saig_ManDupDual()
131 pMiter = Aig_ManConst0(pAigNew); in Saig_ManDupDual()
178 Aig_ObjCreateCo( pAigNew, pMiter ); in Saig_ManDupDual()
187 Aig_ObjCreateCo( pAigNew, pTemp0 ); in Saig_ManDupDual()
188 Aig_ObjCreateCo( pAigNew, pTemp1 ); in Saig_ManDupDual()
192 Aig_ManCleanup( pAigNew ); in Saig_ManDupDual()
[all …]
H A DsaigConstr.c286 Aig_Man_t * pAigNew; in Saig_ManDupUnfoldConstrs() local
345 pMiter = Aig_ManConst1( pAigNew ); in Saig_ManDupUnfoldConstrs()
363 Aig_ManCleanup( pAigNew ); in Saig_ManDupUnfoldConstrs()
364 Aig_ManSeqCleanup( pAigNew ); in Saig_ManDupUnfoldConstrs()
365 return pAigNew; in Saig_ManDupUnfoldConstrs()
381 Aig_Man_t * pAigNew; in Saig_ManDupFoldConstrs() local
398 pMiter = Aig_ManConst0( pAigNew ); in Saig_ManDupFoldConstrs()
420 Aig_ObjCreateCo( pAigNew, pFlopIn ); in Saig_ManDupFoldConstrs()
423 Aig_ManCleanup( pAigNew ); in Saig_ManDupFoldConstrs()
424 Aig_ManSeqCleanup( pAigNew ); in Saig_ManDupFoldConstrs()
[all …]
H A DsaigDup.c47 Aig_Man_t * pAigNew; in Saig_ManDupOrpos() local
75 Aig_ManCleanup( pAigNew ); in Saig_ManDupOrpos()
77 return pAigNew; in Saig_ManDupOrpos()
93 Aig_Man_t * pAigNew; in Saig_ManCreateEquivMiter() local
126 Aig_ManCleanup( pAigNew ); in Saig_ManCreateEquivMiter()
129 return pAigNew; in Saig_ManCreateEquivMiter()
484 Aig_Man_t * pAigNew; in Saig_ManDupWithPhase() local
510 Aig_ManCleanup( pAigNew ); in Saig_ManDupWithPhase()
512 return pAigNew; in Saig_ManDupWithPhase()
547 Aig_Man_t * pAigNew; in Saig_ManDupCones() local
[all …]
H A DsaigTempor.c92 Aig_Man_t * pAigNew, * pFrames; in Saig_ManTemporDecompose() local
106 pAigNew = Aig_ManStart( Aig_ManNodeNum(pAig) ); in Saig_ManTemporDecompose()
107 pAigNew->pName = Abc_UtilStrsav( pAig->pName ); in Saig_ManTemporDecompose()
109 Aig_ManConst1(pAig)->pData = Aig_ManConst1( pAigNew ); in Saig_ManTemporDecompose()
111 pObj->pData = Aig_ObjCreateCi( pAigNew ); in Saig_ManTemporDecompose()
116 pObj->pData = Aig_ObjCreateCi( pAigNew ); in Saig_ManTemporDecompose()
123 pReset = Aig_ObjCreateCi( pAigNew ); in Saig_ManTemporDecompose()
127 …pObj->pData = Aig_Mux( pAigNew, pReset, Aig_ObjCreateCi(pAigNew), (Aig_Obj_t *)Aig_ManCo(pFrames, … in Saig_ManTemporDecompose()
138 Aig_ObjCreateCo( pAigNew, Aig_ManConst1(pAigNew) ); in Saig_ManTemporDecompose()
144 Aig_ManCleanup( pAigNew ); in Saig_ManTemporDecompose()
[all …]
H A DsaigUnfold2.c378 Aig_Man_t * pAigNew; in Saig_ManDupFoldConstrsFunc2() local
398 pMiter = Aig_ManConst0( pAigNew ); in Saig_ManDupFoldConstrsFunc2()
416 pMiter = Aig_Or(pAigNew, pMiter, in Saig_ManDupFoldConstrsFunc2()
417 Aig_And(pAigNew, in Saig_ManDupFoldConstrsFunc2()
441 Aig_ObjCreateCo( pAigNew, pMiter ); in Saig_ManDupFoldConstrsFunc2()
454 Aig_ObjCreateCo( pAigNew, c); in Saig_ManDupFoldConstrsFunc2()
479 Aig_ManSetRegNum( pAigNew, Aig_ManRegNum(pAigNew)+1 ); in Saig_ManDupFoldConstrsFunc2()
490 Aig_ManSetRegNum( pAigNew, Aig_ManRegNum(pAigNew)+1 ); in Saig_ManDupFoldConstrsFunc2()
494 Aig_ManCleanup( pAigNew ); in Saig_ManDupFoldConstrsFunc2()
495 Aig_ManSeqCleanup( pAigNew ); in Saig_ManDupFoldConstrsFunc2()
[all …]
H A DsaigOutDec.c152 Aig_Man_t * pAigNew = NULL; in Saig_ManDecPropertyOutput() local
162 pAigNew = Aig_ManStart( Aig_ManNodeNum(pAig) ); in Saig_ManDecPropertyOutput()
163 pAigNew->pName = Abc_UtilStrsav( pAig->pName ); in Saig_ManDecPropertyOutput()
164 pAigNew->nConstrs = pAig->nConstrs; in Saig_ManDecPropertyOutput()
169 pObj->pData = Aig_ObjCreateCi( pAigNew ); in Saig_ManDecPropertyOutput()
180 pMiter = Aig_ManConst1( pAigNew ); in Saig_ManDecPropertyOutput()
184 pMiter = Aig_And( pAigNew, pMiter, pObj ); in Saig_ManDecPropertyOutput()
186 Aig_ObjCreateCo( pAigNew, pMiter ); in Saig_ManDecPropertyOutput()
191 Aig_ManCleanup( pAigNew ); in Saig_ManDecPropertyOutput()
192 Aig_ManSetRegNum( pAigNew, Aig_ManRegNum(pAig) ); in Saig_ManDecPropertyOutput()
[all …]
H A DsaigConstr2.c944 Aig_Man_t * pAigNew; in Saig_ManDupFoldConstrsFunc() local
951 pAigNew = Aig_ManStart( Aig_ManNodeNum(pAig) ); in Saig_ManDupFoldConstrsFunc()
952 pAigNew->pName = Abc_UtilStrsav( pAig->pName ); in Saig_ManDupFoldConstrsFunc()
958 pObj->pData = Aig_ObjCreateCi( pAigNew ); in Saig_ManDupFoldConstrsFunc()
964 pMiter = Aig_ManConst0( pAigNew ); in Saig_ManDupFoldConstrsFunc()
975 pFlopOut = Aig_ObjCreateCi( pAigNew ); in Saig_ManDupFoldConstrsFunc()
987 Aig_ObjCreateCo( pAigNew, pMiter ); in Saig_ManDupFoldConstrsFunc()
997 Aig_ObjCreateCo( pAigNew, pFlopIn ); in Saig_ManDupFoldConstrsFunc()
1002 Aig_ManCleanup( pAigNew ); in Saig_ManDupFoldConstrsFunc()
1003 Aig_ManSeqCleanup( pAigNew ); in Saig_ManDupFoldConstrsFunc()
[all …]
H A DsaigSimMv.c78 Saig_MvAnd_t * pAigNew; // AIG nodes member
178 p->pAigNew = ABC_REALLOC( Saig_MvAnd_t, p->pAigNew, 2*p->nObjsAlloc ); in Saig_MvCreateObj()
182 pNode = p->pAigNew + p->nObjs; in Saig_MvCreateObj()
233 p->pAigNew = ABC_ALLOC( Saig_MvAnd_t, p->nObjsAlloc ); in Saig_MvManStart()
265 ABC_FREE( p->pAigNew ); in Saig_MvManStop()
308 for ( pEntry = (*pPlace)? p->pAigNew + *pPlace : NULL; pEntry; in Saig_MvTableFind()
309 pPlace = &pEntry->iNext, pEntry = (*pPlace)? p->pAigNew + *pPlace : NULL ) in Saig_MvTableFind()
356 if ( pPlace >= (int*)p->pAigNew && pPlace < (int*)(p->pAigNew + p->nObjsAlloc) ) in Saig_MvAnd()
358 int iPlace = pPlace - (int*)p->pAigNew; in Saig_MvAnd()
360 ((int*)p->pAigNew)[iPlace] = iNode; in Saig_MvAnd()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/
H A Dliveness.c122 Aig_ManForEachCi( pAigNew, pObj, index ) in retrieveTruePiName()
125 assert( index < Aig_ManCiNum( pAigNew ) - Aig_ManRegNum( pAigNew ) ); in retrieveTruePiName()
1258 Aig_Man_t * pAig, *pAigNew = NULL; in Abc_CommandAbcLivenessToSafety() local
1527 Aig_ManPrintStats( pAigNew ); in Abc_CommandAbcLivenessToSafety()
1531 …printf("Number of true latch outputs = %d\n", Saig_ManCiNum( pAigNew ) - Saig_ManPiNum( pAigNew )); in Abc_CommandAbcLivenessToSafety()
1532 … printf("Number of true latch inputs = %d\n", Saig_ManCoNum( pAigNew ) - Saig_ManPoNum( pAigNew )); in Abc_CommandAbcLivenessToSafety()
1603 Aig_Man_t * pAig, *pAigNew = NULL; in Abc_CommandAbcLivenessToSafetyAbstraction() local
2272 Aig_Man_t * pAig, *pAigNew = NULL; in Abc_CommandAbcLivenessToSafetyWithLTL() local
2532 Aig_ManPrintStats( pAigNew ); in Abc_CommandAbcLivenessToSafetyWithLTL()
2536 …printf("Number of true latch outputs = %d\n", Saig_ManCiNum( pAigNew ) - Saig_ManPiNum( pAigNew )); in Abc_CommandAbcLivenessToSafetyWithLTL()
[all …]
H A DarenaViolation.c33 Vec_Ptr_t * createArenaLO( Aig_Man_t *pAigNew, Vec_Ptr_t *vBarriers ) in createArenaLO() argument
50 pObj = Aig_ObjCreateCi( pAigNew ); in createArenaLO()
75 pObj = Aig_ObjCreateCo( pAigNew, pObjDriver ); in createArenaLi()
99 pObj = Aig_ObjCreateCi( pAigNew ); in createMonotoneBarrierLO()
143 pObjBarrier = Aig_Not(Aig_ManConst1(pAigNew)); in collectBarrierDisjunctions()
167 Aig_Man_t *pAigNew, in createArenaViolation() argument
185 pObjArenaViolation = Aig_Not(Aig_ManConst1( pAigNew )); in createArenaViolation()
198 pObjAnd1 = Aig_And(pAigNew, pObj, pWindowBeginsLocal); in createArenaViolation()
200 pObjOr1 = Aig_Or(pAigNew, pObjAnd1, pObjBarrierLo); in createArenaViolation()
532 Aig_Man_t *pAigNew; in generateWorkingAigWithDSC() local
[all …]
H A Dliveness_sim.c84 assert( Saig_ObjIsPi( pAigNew, pObjPivot ) ); in retrieveTruePiName()
85 Aig_ManForEachCi( pAigNew, pObj, index ) in retrieveTruePiName()
88 assert( index < Aig_ManCiNum( pAigNew ) - Aig_ManRegNum( pAigNew ) ); in retrieveTruePiName()
89 if( index == Saig_ManPiNum( pAigNew ) - 1 ) in retrieveTruePiName()
108 Saig_ManForEachLo( pAigNew, pObj, index ) in retrieveLOName()
758 Aig_Man_t * pAig, *pAigNew; in Abc_CommandAbcLivenessToSafetySim() local
807 Aig_ManPrintStats( pAigNew ); in Abc_CommandAbcLivenessToSafetySim()
811 …printf("Number of true latch outputs = %d\n", Saig_ManCiNum( pAigNew ) - Saig_ManPiNum( pAigNew )); in Abc_CommandAbcLivenessToSafetySim()
812 … printf("Number of true latch inputs = %d\n", Saig_ManCoNum( pAigNew ) - Saig_ManPoNum( pAigNew )); in Abc_CommandAbcLivenessToSafetySim()
836 Saig_ManForEachPi( pAigNew, pObj, i ) in Abc_CommandAbcLivenessToSafetySim()
[all …]
H A Dltl_parser.c514 populateAigPointerUnitGF( pAigNew, topASTNode->left, vSignal, vAigGFMap ); in populateAigPointerUnitGF()
515 populateAigPointerUnitGF( pAigNew, topASTNode->right, vSignal, vAigGFMap ); in populateAigPointerUnitGF()
518 populateAigPointerUnitGF( pAigNew, topASTNode->left, vSignal, vAigGFMap ); in populateAigPointerUnitGF()
539 buildLogicFromLTLNode_combinationalOnly( pAigNew, nextToNextNode ); in populateAigPointerUnitGF()
573 pLtlNode->pObj = Aig_And( pAigNew, leftAigObj, rightAigObj ); in buildLogicFromLTLNode_combinationalOnly()
580 pLtlNode->pObj = Aig_Or( pAigNew, leftAigObj, rightAigObj ); in buildLogicFromLTLNode_combinationalOnly()
754 topASTNode->pObj = Aig_ManConst1( pAigNew ); in populateBoolWithAigNodePtr()
759 topASTNode->pObj = Aig_Not(topASTNode->pObj = Aig_ManConst1( pAigNew )); in populateBoolWithAigNodePtr()
778 populateBoolWithAigNodePtr( pNtk, pAigOld, pAigNew, topASTNode->left ); in populateBoolWithAigNodePtr()
779 populateBoolWithAigNodePtr( pNtk, pAigOld, pAigNew, topASTNode->right ); in populateBoolWithAigNodePtr()
[all …]
H A DdisjunctiveMonotone.c277 Aig_Man_t *pAigNew; in findNewDisjunctiveMonotone() local
290 pAigNew = createDisjunctiveMonotoneTester(pAig, aigPoIndicesArg, anteConseVectors, &poMarker ); in findNewDisjunctiveMonotone()
298 for( i=0; i<Saig_ManPoNum(pAigNew); i++ ) in findNewDisjunctiveMonotone()
300 pObjTargetPo = Aig_ManCo( pAigNew, i ); in findNewDisjunctiveMonotone()
308 pAigNew->vSeqModelVec = NULL; in findNewDisjunctiveMonotone()
309 Pdr_ManSolve( pAigNew, pPars ); in findNewDisjunctiveMonotone()
311 if( pAigNew->vSeqModelVec ) in findNewDisjunctiveMonotone()
313 Vec_PtrForEachEntry( Abc_Cex_t *, pAigNew->vSeqModelVec, cexElem, i ) in findNewDisjunctiveMonotone()
322 for( i=0; i<Saig_ManPoNum(pAigNew); i++ ) in findNewDisjunctiveMonotone()
324 pObjTargetPo = Aig_ManCo( pAigNew, i ); in findNewDisjunctiveMonotone()
[all …]
H A Dcombination.c54 int generateCombinatorialStabil( Aig_Man_t *pAigNew, Aig_Man_t *pAigOld, in generateCombinatorialStabil() argument
77 pObjMonoCand = Aig_Not(Aig_ManConst1(pAigNew)); in generateCombinatorialStabil()
82 pObjMonoCand = Aig_Or( pAigNew, pObj, pObjMonoCand ); in generateCombinatorialStabil()
101 int generateCombinatorialStabilExhaust( Aig_Man_t *pAigNew, Aig_Man_t *pAigOld, in generateCombinatorialStabilExhaust() argument
123 pObjMonoCand = Aig_Not(Aig_ManConst1(pAigNew)); in generateCombinatorialStabilExhaust()
129 pObjMonoCand = Aig_Or( pAigNew, pObj, pObjMonoCand ); in generateCombinatorialStabilExhaust()
H A Dmonotone.c350 Aig_Man_t *pAigNew; in findNewMonotone() local
366 pAigNew = createMonotoneTester(pAig, aigPoIndicesArg, monotoneVectorArg, &poMarker ); in findNewMonotone()
370 printf("\nSaig_ManPoNum(pAigNew) = %d, poMarker = %d\n", Saig_ManPoNum(pAigNew), poMarker); in findNewMonotone()
371 for( i=poMarker; i<Saig_ManPoNum(pAigNew); i++ ) in findNewMonotone()
373 pObjTargetPo = Aig_ManCo( pAigNew, i ); in findNewMonotone()
381 RetValue = Pdr_ManSolve( pAigNew, pPars ); in findNewMonotone()
H A DkLiveConstraints.c166 Aig_Man_t *pAigNew; in generateWorkingAig() local
170 pAigNew = createNewAigWith0LivePo( pAig, vSignalVector, pIndex0Live ); in generateWorkingAig()
173 return pAigNew; in generateWorkingAig()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/
H A DdchChoice.c456 pObjNew = Aig_And( pAigNew, in Dch_DeriveChoiceAigNode()
457 Aig_ObjChild0CopyRepr(pAigNew, pObj), in Dch_DeriveChoiceAigNode()
458 Aig_ObjChild1CopyRepr(pAigNew, pObj) ); in Dch_DeriveChoiceAigNode()
463 pObjNew = Aig_ObjGetRepr( pAigNew, pObjNew2 ); in Dch_DeriveChoiceAigNode()
484 Aig_ObjSetRepr( pAigNew, pObjNew, pReprNew ); in Dch_DeriveChoiceAigNode()
490 if ( Dch_ObjCheckTfi( pAigNew, pObjNew, pReprNew ) ) in Dch_DeriveChoiceAigNode()
493 if ( fSkipRedSupps && Dch_ObjCheckSuppRed(pAigNew, pObjNew, pReprNew) ) in Dch_DeriveChoiceAigNode()
496 while ( pAigNew->pEquivs[pReprNew->Id] != NULL ) in Dch_DeriveChoiceAigNode()
497 pReprNew = pAigNew->pEquivs[pReprNew->Id]; in Dch_DeriveChoiceAigNode()
498 assert( pAigNew->pEquivs[pReprNew->Id] == NULL ); in Dch_DeriveChoiceAigNode()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswPairs.c275 Aig_Man_t * pAigNew, * pMiter; in Ssw_SignalCorrespondenceWithPairs() local
298 pAigNew = Ssw_SignalCorrespondenceRefine( p ); in Ssw_SignalCorrespondenceWithPairs()
303 return pAigNew; in Ssw_SignalCorrespondenceWithPairs()
319 Aig_Man_t * pAigNew, * pAigRes; in Ssw_SignalCorrespondeceTestPairs() local
327 pAigNew = Ssw_SignalCorrespondence( pAig, pPars ); in Ssw_SignalCorrespondeceTestPairs()
336 if ( Aig_ManObj(pAigNew, pRepr->Id) == NULL ) in Ssw_SignalCorrespondeceTestPairs()
349 …efore: %d after: %d).\n", Vec_IntSize(vIds1), Aig_ManObjNumMax(pAig), Aig_ManObjNumMax(pAigNew) ); in Ssw_SignalCorrespondeceTestPairs()
351 pAigRes = Ssw_SignalCorrespondenceWithPairs( pAig, pAigNew, vIds1, vIds2, pPars ); in Ssw_SignalCorrespondeceTestPairs()
362 Aig_ManRegNum(pAigRes), Aig_ManRegNum(pAig) + Aig_ManRegNum(pAigNew) ); in Ssw_SignalCorrespondeceTestPairs()
365 Aig_ManStop( pAigNew ); in Ssw_SignalCorrespondeceTestPairs()
H A DsswCore.c238 Aig_Man_t * pAigNew; in Ssw_SignalCorrespondenceRefine() local
391 pAigNew = Aig_ManDupRepr( p->pAig, 0 ); in Ssw_SignalCorrespondenceRefine()
392 Aig_ManSeqCleanup( pAigNew ); in Ssw_SignalCorrespondenceRefine()
396 p->nNodesEnd = Aig_ManNodeNum(pAigNew); in Ssw_SignalCorrespondenceRefine()
397 p->nRegsEnd = Aig_ManRegNum(pAigNew); in Ssw_SignalCorrespondenceRefine()
401 return pAigNew; in Ssw_SignalCorrespondenceRefine()
418 Aig_Man_t * pAigNew; in Ssw_SignalCorrespondence() local
502 pAigNew = Ssw_SignalCorrespondenceRefine( p ); in Ssw_SignalCorrespondence()
505 Ssw_ReportConeReductions( p, pAig, pAigNew ); in Ssw_SignalCorrespondence()
508 return pAigNew; in Ssw_SignalCorrespondence()
H A DsswIslands.c423 Aig_Man_t * pMiter, * pAigNew; in Ssw_SecWithSimilaritySweep() local
457 pAigNew = Ssw_SignalCorrespondenceRefine( p ); in Ssw_SecWithSimilaritySweep()
462 return pAigNew; in Ssw_SecWithSimilaritySweep()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcCexMin1.c497 Aig_Man_t * pAigNew; in Saig_ManCexMinDupWithCubes() local
503 pAigNew->pName = Abc_UtilStrsav( pAig->pName ); in Saig_ManCexMinDupWithCubes()
505 Aig_ManConst1(pAig)->pData = Aig_ManConst1( pAigNew ); in Saig_ManCexMinDupWithCubes()
508 pObj->pData = Aig_ObjCreateCi( pAigNew ); in Saig_ManCexMinDupWithCubes()
511 pObj->pData = Aig_And( pAigNew, Aig_ObjChild0Copy(pObj), Aig_ObjChild1Copy(pObj) ); in Saig_ManCexMinDupWithCubes()
517 pMiter = Aig_ManConst1( pAigNew ); in Saig_ManCexMinDupWithCubes()
524 Aig_ObjCreateCo( pAigNew, pMiter ); in Saig_ManCexMinDupWithCubes()
528 Aig_ObjCreateCo( pAigNew, Aig_ObjChild0Copy(pObj) ); in Saig_ManCexMinDupWithCubes()
530 Aig_ManCleanup( pAigNew ); in Saig_ManCexMinDupWithCubes()
531 Aig_ManSetRegNum( pAigNew, Aig_ManRegNum(pAig) ); in Saig_ManCexMinDupWithCubes()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsOldCex.c149 Aig_Man_t * pAigNew; in Saig_ManDupWithCubes() local
154 pAigNew = Aig_ManStart( Aig_ManNodeNum(pAig) + Vec_VecSizeSize(vReg2Value) ); in Saig_ManDupWithCubes()
155 pAigNew->pName = Abc_UtilStrsav( pAig->pName ); in Saig_ManDupWithCubes()
157 Aig_ManConst1(pAig)->pData = Aig_ManConst1( pAigNew ); in Saig_ManDupWithCubes()
160 pObj->pData = Aig_ObjCreateCi( pAigNew ); in Saig_ManDupWithCubes()
167 pMiter = Aig_ManConst1( pAigNew ); in Saig_ManDupWithCubes()
173 Aig_ObjCreateCo( pAigNew, pMiter ); in Saig_ManDupWithCubes()
177 Aig_ObjCreateCo( pAigNew, Aig_ObjChild0Copy(pObj) ); in Saig_ManDupWithCubes()
179 Aig_ManCleanup( pAigNew ); in Saig_ManDupWithCubes()
180 Aig_ManSetRegNum( pAigNew, Aig_ManRegNum(pAig) ); in Saig_ManDupWithCubes()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaHcd.c614 Aig_Man_t * pAigNew; in Hcd_ComputeChoices() local
647 pAigNew = Gia_ManToAig( pGia, 1 ); in Hcd_ComputeChoices()
655 Dch_DeriveChoiceCountReprs( pAigNew ), in Hcd_ComputeChoices()
656 Dch_DeriveChoiceCountEquivs( pAigNew ), in Hcd_ComputeChoices()
657 Aig_ManChoiceNum( pAigNew ) ); in Hcd_ComputeChoices()
660 return pAigNew; in Hcd_ComputeChoices()
676 Aig_Man_t * pAig, * pAigNew; in Hcd_ComputeChoicesTest() local
678 pAigNew = Hcd_ComputeChoices( pAig, nBTLimit, fSynthesis, fUseMiniSat, fVerbose ); in Hcd_ComputeChoicesTest()
679 Aig_ManStop( pAigNew ); in Hcd_ComputeChoicesTest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigScl.c655 Aig_Man_t * pAigInit, * pAigNew; in Aig_ManScl() local
690 pAigNew = Aig_ManDupRepr( pAigInit, 0 ); in Aig_ManScl()
691 Aig_ManSeqCleanup( pAigNew ); in Aig_ManScl()
694 if ( Aig_ManRegNum(pAigNew) == 0 ) in Aig_ManScl()
695 return pAigNew; in Aig_ManScl()
699 return pAigNew; in Aig_ManScl()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraLcr.c538 Aig_Man_t * pAigPart, * pAigTemp, * pAigNew = NULL; in Fra_FraigLatchCorrespondence() local
685 pAigNew = Aig_ManDupRepr( p->pAig, 0 ); in Fra_FraigLatchCorrespondence()
686 Aig_ManSeqCleanup( pAigNew ); in Fra_FraigLatchCorrespondence()
692 p->nNodesEnd = Aig_ManNodeNum(pAigNew); in Fra_FraigLatchCorrespondence()
693 p->nRegsEnd = Aig_ManRegNum(pAigNew); in Fra_FraigLatchCorrespondence()
698 return pAigNew; in Fra_FraigLatchCorrespondence()

12