/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigDual.c | 84 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 D | saigConstr.c | 286 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 D | saigDup.c | 47 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 D | saigTempor.c | 92 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 D | saigUnfold2.c | 378 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 D | saigOutDec.c | 152 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 D | saigConstr2.c | 944 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 D | saigSimMv.c | 78 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 D | liveness.c | 122 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 D | arenaViolation.c | 33 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 D | liveness_sim.c | 84 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 D | ltl_parser.c | 514 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 D | disjunctiveMonotone.c | 277 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 D | combination.c | 54 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 D | monotone.c | 350 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 D | kLiveConstraints.c | 166 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 D | dchChoice.c | 456 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 D | sswPairs.c | 275 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 D | sswCore.c | 238 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 D | sswIslands.c | 423 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 D | bmcCexMin1.c | 497 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 D | absOldCex.c | 149 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 D | giaHcd.c | 614 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 D | aigScl.c | 655 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 D | fraLcr.c | 538 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()
|