/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/ |
H A D | ivyCheck.c | 78 if ( Ivy_ObjFanin1(pObj) ) in Ivy_ManCheck() 87 if ( Ivy_ObjFanin1(pObj) ) in Ivy_ManCheck() 103 if ( !Ivy_ObjFanin0(pObj) || !Ivy_ObjFanin1(pObj) ) in Ivy_ManCheck() 194 pFanin = Ivy_ObjFanin1(pObj); in Ivy_ManCheckFanouts() 209 Ivy_ObjFanin0(pObj->pPrevFan0) != Ivy_ObjFanin1(pObj) && in Ivy_ManCheckFanouts() 210 Ivy_ObjFanin1(pObj->pPrevFan0) != Ivy_ObjFanin0(pObj) && in Ivy_ManCheckFanouts() 211 Ivy_ObjFanin1(pObj->pPrevFan0) != Ivy_ObjFanin1(pObj) ) in Ivy_ManCheckFanouts() 221 Ivy_ObjFanin0(pObj->pPrevFan1) != Ivy_ObjFanin1(pObj) && in Ivy_ManCheckFanouts() 222 Ivy_ObjFanin1(pObj->pPrevFan1) != Ivy_ObjFanin0(pObj) && in Ivy_ManCheckFanouts() 223 Ivy_ObjFanin1(pObj->pPrevFan1) != Ivy_ObjFanin1(pObj) ) in Ivy_ManCheckFanouts() [all …]
|
H A D | ivyObj.c | 109 pObj->fFailTfo = Ivy_ObjFanin0(pObj)->fFailTfo | Ivy_ObjFanin1(pObj)->fFailTfo; in Ivy_ObjCreate() 114 Ivy_ObjFanin1(pObj)->fExFan = 1; in Ivy_ObjCreate() 164 if ( Ivy_ObjFanin1(pObj) != NULL ) in Ivy_ObjConnect() 166 Ivy_ObjRefsInc( Ivy_ObjFanin1(pObj) ); in Ivy_ObjConnect() 168 Ivy_ObjAddFanout( p, Ivy_ObjFanin1(pObj), pObj ); in Ivy_ObjConnect() 198 Ivy_ObjRefsDec(Ivy_ObjFanin1(pObj)); in Ivy_ObjDisconnect() 200 Ivy_ObjDeleteFanout( p, Ivy_ObjFanin1(pObj), pObj ); in Ivy_ObjDisconnect() 307 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_ObjDelete_rec() 384 assert( Ivy_ObjFanin1(pObjNew) == NULL || pObjOld != Ivy_ObjFanin1(pObjNew) ); in Ivy_ObjReplace() 401 if ( Ivy_ObjFanin1(pObjOld) ) in Ivy_ObjReplace() [all …]
|
H A D | ivyFanout.c | 39 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjNextFanout() 52 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjPrevFanout() 63 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjNextFanoutPlace() 74 assert( Ivy_ObjFanin1(pFanout) == pObj ); in Ivy_ObjPrevFanoutPlace() 89 assert( Ivy_ObjFanin1(pTemp) == pObj ); in Ivy_ObjPrevNextFanoutPlace() 104 assert( Ivy_ObjFanin1(pTemp) == pObj ); in Ivy_ObjNextPrevFanoutPlace() 146 if ( Ivy_ObjFanin1(pObj) ) in Ivy_ManStartFanout() 147 Ivy_ObjAddFanout( p, Ivy_ObjFanin1(pObj), pObj ); in Ivy_ManStartFanout()
|
H A D | ivyUtil.c | 90 Ivy_ManCollectCut_rec( p, Ivy_ObjFanin1(pNode), vNodes ); in Ivy_ManCollectCut_rec() 156 pTruth1 = Ivy_ObjGetTruthStore( Ivy_ObjFanin1(pNode)->TravId, vTruth ); in Ivy_ManCutTruthOne() 277 Ivy_ManResetLevels_rec( Ivy_ObjFanin1(pObj) ); in Ivy_ManResetLevels_rec() 326 pNode1 = Ivy_ObjFanin1(pNode); in Ivy_ObjRefDeref() 460 pFanin = Ivy_ObjFanin1(pObj); in Ivy_ObjUpdateLevelR_rec() 492 pNode1 = Ivy_ObjFanin1(pNode); in Ivy_ObjIsMuxType() 524 pNode1 = Ivy_ObjFanin1(pNode); in Ivy_ObjRecognizeMux() 648 Ivy_ObjFanin1(pObj)->Id, (Ivy_ObjFaninC1(pObj)? "\'" : " ") ); in Ivy_ObjPrintVerbose() 670 Ivy_ObjFanin1(pFanout)->Id, (Ivy_ObjFaninC1(pFanout)? "\'" : " ") ); in Ivy_ObjPrintVerbose()
|
H A D | ivyCutTrav.c | 98 vCuts1 = Vec_VecEntry( vBitCuts, Ivy_ObjTravId( Ivy_ObjFanin1(pLeaf) ) ); in Ivy_NodeFindCutsTravAll() 188 Ivy_NodeComputeVolumeTrav1_rec( Ivy_ObjFanin1(pObj), Depth - 1 ); in Ivy_NodeComputeVolumeTrav1_rec() 208 Ivy_NodeComputeVolumeTrav2_rec( Ivy_ObjFanin1(pObj), vNodes ); in Ivy_NodeComputeVolumeTrav2_rec() 242 pFanin = Ivy_ObjFanin1(pTemp); in Ivy_NodeComputeVolume() 321 pFanin = Ivy_ObjFanin1(pPivot); in Ivy_NodeComputeVolume2()
|
H A D | ivyFastMap.c | 383 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeArea2() 455 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeArea() 585 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNode() 591 pFaninB = Ivy_ObjFanin1(pFanin0); in Ivy_FastMapNode() 606 pFaninB = Ivy_ObjFanin1(pFanin1); in Ivy_FastMapNode() 626 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNode() 660 pFaninB = Ivy_ObjFanin1(pFanin0); in Ivy_FastMapNode() 675 pFaninB = Ivy_ObjFanin1(pFanin1); in Ivy_FastMapNode() 1144 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeWillGrow() 1175 pFanin = Ivy_ObjFanin1(pObj); in Ivy_FastMapNodeFaninCost() [all …]
|
H A D | ivyCut.c | 247 RetValue1 = Ivy_ManFindBoolCut_rec( p, Ivy_ObjFanin1(pObj), vLeaves, vVolume, pPivot ); in Ivy_ManFindBoolCut_rec() 258 Vec_PtrPushUnique( vLeaves, Ivy_ObjFanin1(pObj) ); in Ivy_ManFindBoolCut_rec() 259 Vec_PtrPushUnique( vVolume, Ivy_ObjFanin1(pObj) ); in Ivy_ManFindBoolCut_rec() 288 Cost = (!Ivy_ObjFanin0(pObj)->fMarkA) + (!Ivy_ObjFanin1(pObj)->fMarkA); in Ivy_ManFindBoolCutCost() 319 pFanin1 = Ivy_ObjFanin1(pRoot); in Ivy_ManFindBoolCut() 372 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_ManFindBoolCut() 445 pFanin1 = Ivy_ObjFanin1(pObj); in Ivy_ManFindBoolCut() 936 iLeaf1 = Ivy_ObjId( Ivy_ObjRealFanin(Ivy_ObjFanin1(pLeaf)) ); in Ivy_NodeFindCutsAll()
|
H A D | ivyRwrAlg.c | 156 Ivy_ObjRefsDec( Ivy_ObjFanin1(pTemp) ); in Ivy_NodeRewriteAlg() 193 Ivy_ObjRefsInc( Ivy_ObjFanin1(pTemp) ); in Ivy_NodeRewriteAlg() 226 …return 1 + Ivy_NodeCountMffc_rec( Ivy_ObjFanin0(pNode) ) + Ivy_NodeCountMffc_rec( Ivy_ObjFanin1(pN… in Ivy_NodeCountMffc_rec() 243 …return 1 + Ivy_NodeCountMffc_rec( Ivy_ObjFanin0(pNode) ) + Ivy_NodeCountMffc_rec( Ivy_ObjFanin1(pN… in Ivy_NodeCountMffc()
|
H A D | ivyDfs.c | 66 Ivy_ManDfs_rec( p, Ivy_ObjFanin1(pObj), vNodes ); in Ivy_ManDfs_rec() 180 Ivy_ManCollectCone_rec( Ivy_ObjFanin1(pObj), vCone ); in Ivy_ManCollectCone_rec() 344 if ( Ivy_ObjIsNode(pObj) && !Ivy_ManIsAcyclic_rec(p, Ivy_ObjFanin1(pObj)) ) in Ivy_ManIsAcyclic_rec() 421 Ivy_ManSetLevels_rec( Ivy_ObjFanin1(pObj), fHaig ); in Ivy_ManSetLevels_rec()
|
H A D | ivyCanon.c | 57 if ( !Ivy_ObjIsLatch(Ivy_ObjFanin0(pGhost)) || !Ivy_ObjIsLatch(Ivy_ObjFanin1(pGhost)) ) in Ivy_CanonPair_rec() 65 pLat1 = Ivy_ObjFanin1(pGhost); in Ivy_CanonPair_rec()
|
H A D | ivyHaig.c | 230 … if ( Ivy_ObjIsNode(pObjNew) && Ivy_ObjIsInTfi_rec( Ivy_ObjFanin1(pObjNew), pObjOld, Levels - 1 ) ) in Ivy_ObjIsInTfi_rec() 464 …ted node %d with fanins %d and %d\n", pObj->Id, Ivy_ObjFanin0(pObj)->Id, Ivy_ObjFanin1(pObj)->Id ); in Ivy_ManHaigSimulate() 492 …ing node %d with fanins %d and %d\n", pObj->Id, Ivy_ObjFanin0(pObj)->Id, Ivy_ObjFanin1(pObj)->Id ); in Ivy_ManHaigSimulate() 494 In1 = Ivy_InitNotCond( (Ivy_Init_t)Ivy_ObjFanin1(pObj)->Init, Ivy_ObjFaninC1(pObj) ); in Ivy_ManHaigSimulate()
|
H A D | ivy.h | 272 static inline Ivy_Obj_t * Ivy_ObjFanin1( Ivy_Obj_t * pObj ) { return Ivy_Regular(pObj->pFanin… in Ivy_ObjFanin1() function 276 …* pObj ) { assert( !Ivy_IsComplement(pObj) ); return Ivy_ObjFanin1(pObj)? Ivy_NotCond(Ivy_ObjFanin… in Ivy_ObjChild1Equiv() 279 … return 1 + Ivy_ObjIsExor(pObj) + IVY_MAX(Ivy_ObjFanin0(pObj)->Level, Ivy_ObjFanin1(pObj)->Level);… in Ivy_ObjLevelNew() 297 if ( Ivy_ObjFanin1(pObj) == pFanin ) return 1; in Ivy_ObjWhatFanin() 303 if ( Ivy_ObjFanin1(pFanout) == pObj ) return Ivy_ObjFaninC1(pObj); in Ivy_ObjFanoutC()
|
H A D | ivyOper.c | 39 if ( Ivy_ObjFanin0(p0) != Ivy_ObjFanin0(p1) || Ivy_ObjFanin1(p0) != Ivy_ObjFanin1(p1) ) in Ivy_ObjIsExorType()
|
H A D | ivyFraig.c | 588 pSims->pFanin1 = Ivy_ObjSim( Ivy_ObjFanin1(pObj) ); in Ivy_FraigStart() 896 pSims1 = Ivy_ObjSim(Ivy_ObjFanin1(pObj)); in Ivy_NodeSimulate() 2568 Vec_PtrPushUnique( vFanins, Ivy_ObjFanin0( Ivy_ObjFanin1(pNode) ) ); in Ivy_FraigNodeAddToSolver() 2569 Vec_PtrPushUnique( vFanins, Ivy_ObjFanin1( Ivy_ObjFanin0(pNode) ) ); in Ivy_FraigNodeAddToSolver() 2570 Vec_PtrPushUnique( vFanins, Ivy_ObjFanin1( Ivy_ObjFanin1(pNode) ) ); in Ivy_FraigNodeAddToSolver() 2708 pFanin = Ivy_ObjFanin1(pObj); in Ivy_FraigNodesAreEquivBdd_int() 2726 … Cudd_NotCond( Cudd_bddIthVar(dd, Ivy_ObjFanin1(pObj)->TravId), Ivy_ObjFaninC1(pObj) ) ); in Ivy_FraigNodesAreEquivBdd_int() 2852 Ivy_FraigExtractCone_rec( p, Ivy_ObjFanin1(pNode), vLeaves, vNodes ); in Ivy_FraigExtractCone_rec()
|
H A D | ivyTable.c | 80 … if ( Ivy_ObjFanin0(pObj)->nRefs == 0 || (Ivy_ObjChild1(pObj) && Ivy_ObjFanin1(pObj)->nRefs == 0) ) in Ivy_TableLookup()
|
H A D | ivyMulti.c | 98 …Obj->TravId].Mask = pEvals[Ivy_ObjFanin0(pObj)->TravId].Mask | pEvals[Ivy_ObjFanin1(pObj)->TravId]… in Ivy_MultiPlus()
|
H A D | ivyShow.c | 296 …fprintf( pFile, "Node%d%s", Ivy_ObjFaninId1(pNode), (Ivy_ObjIsLatch(Ivy_ObjFanin1(pNode))? "_out"… in Ivy_WriteDotAig()
|
H A D | ivySeq.c | 87 assert( !Ivy_ObjIsBuf(Ivy_ObjFanin1(pNode)) ); in Ivy_ManRewriteSeq() 1066 iLeaf1 = Ivy_CutReadLeaf( Ivy_ObjFanin1(pLeaf) ); in Ivy_CutComputeForNode()
|
H A D | ivyMan.c | 297 Ivy_ManCleanupSeq_rec( Ivy_ObjFanin1(pObj) ); in Ivy_ManCleanupSeq_rec()
|
H A D | ivyRwr.c | 326 uTruth1 = Ivy_NodeGetTruth_rec( Ivy_ObjFanin1(pObj), pNums, nNums ); in Ivy_NodeGetTruth_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcIvy.c | 66 …_t * p, Ivy_Obj_t * pObj ) { return Abc_ObjNotCond( Abc_EdgeToNode(p, Ivy_ObjFanin1(pObj)->TravId)… in Abc_ObjFanin1Ivy()
|