Home
last modified time | relevance | path

Searched refs:Abc_ObjFaninNum (Results 1 – 25 of 98) sorted by relevance

1234

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsResub_.c83 nAreaExpanse += (int)(Abc_ObjFaninNum(pNode) < nFaninMax); in Abc_NtkMfsPrintResubStats()
160 iFanin, Abc_ObjFaninNum(pNode), in Abc_NtkMfsSolveSatResub()
172 iVar = Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode) + i; in Abc_NtkMfsSolveSatResub()
206 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkMfsSolveSatResub()
248 if ( iVar == Vec_PtrSize(p->vDivs)-Abc_ObjFaninNum(pNode) ) in Abc_NtkMfsSolveSatResub()
311 iFanin, iFanin2, Abc_ObjFaninNum(pNode), in Abc_NtkMfsSolveSatResub2()
323 iVar = Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode) + i; in Abc_NtkMfsSolveSatResub2()
352 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkMfsSolveSatResub2()
395 if ( iVar == Vec_PtrSize(p->vDivs)-Abc_ObjFaninNum(pNode) ) in Abc_NtkMfsSolveSatResub2()
507 if ( Abc_ObjFaninNum(pNode) == p->nFaninMax ) in Abc_NtkMfsResubNode()
[all …]
H A DmfsResub.c83 nAreaExpanse += (int)(Abc_ObjFaninNum(pNode) < nFaninMax); in Abc_NtkMfsPrintResubStats()
185 Abc_ObjFaninId(pNode, iFanin), iFanin, Abc_ObjFaninNum(pNode), in Abc_NtkMfsSolveSatResub()
197 iVar = Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode) + i; in Abc_NtkMfsSolveSatResub()
233 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkMfsSolveSatResub()
273 if ( iVar == Vec_PtrSize(p->vDivs)-Abc_ObjFaninNum(pNode) ) in Abc_NtkMfsSolveSatResub()
339 iFanin, iFanin2, Abc_ObjFaninNum(pNode), in Abc_NtkMfsSolveSatResub2()
351 iVar = Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode) + i; in Abc_NtkMfsSolveSatResub2()
380 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkMfsSolveSatResub2()
443 if ( iVar == Vec_PtrSize(p->vDivs)-Abc_ObjFaninNum(pNode) ) in Abc_NtkMfsSolveSatResub2()
560 if ( Abc_ObjFaninNum(pNode) == p->nFaninMax ) in Abc_NtkMfsResubNode()
[all …]
H A DmfsCore.c104 p->nTotalDivs += Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode); in Abc_WinNode()
165 if ( Abc_ObjFaninNum(pNode) < 2 || Abc_ObjFaninNum(pNode) > nFaninMax ) in Abc_NtkMfsPowerResub()
182 if ( Abc_ObjFaninNum(pNode) < 2 || Abc_ObjFaninNum(pNode) > nFaninMax ) in Abc_NtkMfsPowerResub()
199 if ( Abc_ObjFaninNum(pNode) < 2 || Abc_ObjFaninNum(pNode) > nFaninMax ) in Abc_NtkMfsPowerResub()
256 p->nTotalDivs += Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode); in Abc_NtkMfsResub()
332 p->pCnf = Cnf_DeriveSimple( p->pAigWin, Abc_ObjFaninNum(pNode) ); in Abc_NtkMfsNode()
352 assert( p->nFanins == Abc_ObjFaninNum(pNode) ); in Abc_NtkMfsNode()
495 if ( Abc_ObjFaninNum(pObj) < 2 || Abc_ObjFaninNum(pObj) > nFaninMax ) in Abc_NtkMfs()
528 if ( Abc_ObjFaninNum(pObj) < 2 || Abc_ObjFaninNum(pObj) > nFaninMax ) in Abc_NtkMfs()
H A DmfsCore_.c91 p->nTotalDivs += Vec_PtrSize(p->vDivs) - Abc_ObjFaninNum(pNode); in Abc_NtkMfsResub()
161 p->pCnf = Cnf_DeriveSimple( p->pAigWin, Abc_ObjFaninNum(pNode) ); in Abc_NtkMfsNode()
181 assert( p->nFanins == Abc_ObjFaninNum(pNode) ); in Abc_NtkMfsNode()
312 if ( Abc_ObjFaninNum(pObj) < 2 || Abc_ObjFaninNum(pObj) > nFaninMax ) in Abc_NtkMfs()
339 if ( Abc_ObjFaninNum(pObj) < 2 || Abc_ObjFaninNum(pObj) > nFaninMax ) in Abc_NtkMfs()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresFilter.c116 iDiv = d - (Abc_ObjFaninNum(pWin->pNode) + 2); in Res_FilterCandidates()
141 if ( Abc_ObjFaninNum(pWin->pNode) < nFaninsMax ) in Res_FilterCandidates()
154 iDiv = d - (Abc_ObjFaninNum(pWin->pNode) + 2); in Res_FilterCandidates()
159 iDiv2 = d2 - (Abc_ObjFaninNum(pWin->pNode) + 2); in Res_FilterCandidates()
192 for ( i2 = i + 1; i2 < Abc_ObjFaninNum(pWin->pNode); i2++ ) in Res_FilterCandidates()
201 iDiv = d - (Abc_ObjFaninNum(pWin->pNode) + 2); in Res_FilterCandidates()
298 for ( d = Abc_ObjFaninNum(pWin->pNode) + 2; d < Abc_NtkPoNum(pAig); d++ ) in Res_FilterCandidatesArea()
301 iDiv = d - (Abc_ObjFaninNum(pWin->pNode) + 2); in Res_FilterCandidatesArea()
327 if ( Counter > 0 || Abc_ObjFaninNum(pWin->pNode) >= nFaninsMax ) in Res_FilterCandidatesArea()
334 iDiv = d - (Abc_ObjFaninNum(pWin->pNode) + 2); in Res_FilterCandidatesArea()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c87 nVars = Abc_NodeSupport( Cudd_Regular(pNode->pData), vSupport, Abc_ObjFaninNum(pNode) ); in Abc_NodeMinimumBase()
88 if ( nVars == Abc_ObjFaninNum(pNode) ) in Abc_NodeMinimumBase()
95 vFanins = Vec_PtrAlloc( Abc_ObjFaninNum(pNode) ); in Abc_NodeMinimumBase()
100 assert( nVars == Abc_ObjFaninNum(pNode) ); in Abc_NodeMinimumBase()
466 if ( Abc_ObjFaninNum(pNode) > nMaxSize ) in Abc_NtkEliminate()
479 … Abc_ObjId(pNode), Abc_ObjFaninNum(pNode), Abc_ObjId(pFanout), Abc_ObjFaninNum(pFanout) ); in Abc_NtkEliminate()
590 if ( Abc_ObjFaninNum(pNode) < 3 || Abc_ObjFaninNum(pNode) > 6 ) in Abc_NodeIsExor()
629 if ( Abc_ObjFaninNum(pNode) > nMaxSize ) in Abc_NtkEliminate1One()
650 … Abc_ObjId(pNode), Abc_ObjFaninNum(pNode), Abc_ObjId(pFanout), Abc_ObjFaninNum(pFanout) ); in Abc_NtkEliminate1One()
769 assert( RetValue >= 0 && RetValue < Abc_ObjFaninNum(pFanout) ); in Abc_NtkEliminateSpecial()
[all …]
H A DabcCheck.c333 if ( Abc_ObjFaninNum(pObj) > 0 ) in Abc_NtkCheckPis()
381 if ( Abc_ObjFaninNum(pObj) != 1 ) in Abc_NtkCheckPos()
498 if ( Abc_ObjFaninNum(pNet) == 0 ) in Abc_NtkCheckNet()
503 if ( Abc_ObjFaninNum(pNet) > 1 ) in Abc_NtkCheckNet()
541 if ( !Abc_SopCheck( (char *)pNode->pData, Abc_ObjFaninNum(pNode) ) ) in Abc_NtkCheckNode()
551 if ( nSuppSize > Abc_ObjFaninNum(pNode) ) in Abc_NtkCheckNode()
593 if ( Abc_ObjFaninNum(pLatch) != 1 ) in Abc_NtkCheckLatch()
605 if ( Abc_ObjFaninNum(Abc_ObjFanin0(pLatch)) != 1 ) in Abc_NtkCheckLatch()
608 Abc_ObjName(Abc_ObjFanin0(pLatch)), Abc_ObjFaninNum(Abc_ObjFanin0(pLatch)) ); in Abc_NtkCheckLatch()
619 if ( Abc_ObjFaninNum(Abc_ObjFanout0(pLatch)) != 1 ) in Abc_NtkCheckLatch()
[all …]
H A DabcFunc.c147 if ( Abc_ObjFaninNum(pNode) > 10 ) in Abc_NtkSopToBdd()
157 Vec_IntFill( vFanins, Abc_ObjFaninNum(pNode), -1 ); in Abc_NtkSopToBdd()
159 if ( ddTemp->invperm[k] < Abc_ObjFaninNum(pNode) ) in Abc_NtkSopToBdd()
161 assert( iVar == Abc_ObjFaninNum(pNode) ); in Abc_NtkSopToBdd()
169 if ( ddTemp->invperm[k] < Abc_ObjFaninNum(pNode) ) in Abc_NtkSopToBdd()
171 for ( k = 0; k < Abc_ObjFaninNum(pNode); k++ ) in Abc_NtkSopToBdd()
683 Vec_IntFill( vFanins, Abc_ObjFaninNum(pNode), -1 ); in Abc_NtkAigToBdd()
685 if ( ddTemp->invperm[k] < Abc_ObjFaninNum(pNode) ) in Abc_NtkAigToBdd()
687 assert( iVar == Abc_ObjFaninNum(pNode) ); in Abc_NtkAigToBdd()
695 if ( ddTemp->invperm[k] < Abc_ObjFaninNum(pNode) ) in Abc_NtkAigToBdd()
[all …]
H A DabcFanOrder.c61 assert( nVars == Abc_ObjFaninNum(pNode) ); in Abc_NtkOrderFaninsById()
163 assert( nVars == Abc_ObjFaninNum(pNode) ); in Abc_NtkOrderFaninsBySortingColumns()
252 assert( nVars == Abc_ObjFaninNum(pNode) ); in Abc_NtkOrderFaninsByLitCount()
327 assert( nVars == Abc_ObjFaninNum(pNode) ); in Abc_NtkOrderFaninsByLitCountAndCubeCount()
400 int CutPoint, nVars = Abc_ObjFaninNum(pNode); in Abc_NodeSplitLarge()
430 if ( (Abc_ObjFaninNum(pNode) > nFaninsMax && nCubes > 1) || nCubes > nCubesMax ) in Abc_NtkSplitLarge()
470 int i, nVars = Abc_ObjFaninNum(pNode); in Abc_NodeSortCubes()
563 int nVars = Abc_ObjFaninNum(pNode); in Abc_NodeMakeSCCFree()
594 int i, nVars = Abc_ObjFaninNum(pNode); in Abc_NodeMakeDist1Free()
610 int i, nVars = Abc_ObjFaninNum(pNode); in Abc_NodeCheckDist1Free()
H A DabcHieCec.c32 for ( i = 0; (i < Abc_ObjFaninNum(pObj)) && (((pFanin) = Abc_ObjFaninReal(pObj, i)), 1); i++ )
219 assert( Abc_ObjFaninNum(pObj) <= 16 ); in Abc_NtkDeriveFlatGia_rec()
220 assert( Abc_ObjFaninNum(pObj) == Abc_SopGetVarNum(pSop) ); in Abc_NtkDeriveFlatGia_rec()
233 assert( Abc_ObjFaninNum(pObj) == Abc_NtkPiNum(pNtkModel) ); in Abc_NtkDeriveFlatGia_rec()
359 assert( Abc_ObjFaninNum(pObj) <= 16 ); in Abc_NtkDeriveFlatGia2Derive()
360 assert( Abc_ObjFaninNum(pObj) == Abc_SopGetVarNum(pSop) ); in Abc_NtkDeriveFlatGia2Derive()
372 assert( Abc_ObjFaninNum(pObj) == Abc_NtkPiNum(pNtkModel) ); in Abc_NtkDeriveFlatGia2Derive()
386 assert( Abc_ObjFaninNum(pObj) == Gia_ManPiNum(pGiaBox) ); in Abc_NtkDeriveFlatGia2Derive()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A Dfahout_cut.c148 if ( pPars->nMaxSuppSize - Abc_ObjFaninNum(pLut) <= 1 ) in Abc_NtkCollectNonOverlapCands()
190 if ( Abc_ObjFaninNum(pLut) + Abc_ObjFaninNum(pObj) > pPars->nMaxSuppSize ) in Abc_NtkCollectNonOverlapCands()
215 int i, nCounter = Abc_ObjFaninNum(pLut); in Abc_NtkCountTotalFanins()
293 nVertsMax += (int)(Abc_ObjFaninNum(pLut) <= pPars->nMaxLutSize); in Abc_NtkLutMerge()
303 if ( Abc_ObjFaninNum(pLut) > pPars->nMaxLutSize ) in Abc_NtkLutMerge()
319 Abc_ObjId(pLut), Abc_ObjFaninNum(pLut), Abc_ObjFaninNum(pLut), in Abc_NtkLutMerge()
H A DabcMerge.c148 if ( pPars->nMaxSuppSize - Abc_ObjFaninNum(pLut) <= 1 ) in Abc_NtkCollectNonOverlapCands()
190 if ( Abc_ObjFaninNum(pLut) + Abc_ObjFaninNum(pObj) > pPars->nMaxSuppSize ) in Abc_NtkCollectNonOverlapCands()
215 int i, nCounter = Abc_ObjFaninNum(pLut); in Abc_NtkCountTotalFanins()
293 nVertsMax += (int)(Abc_ObjFaninNum(pLut) <= pPars->nMaxLutSize); in Abc_NtkLutMerge()
303 if ( Abc_ObjFaninNum(pLut) > pPars->nMaxLutSize ) in Abc_NtkLutMerge()
319 Abc_ObjId(pLut), Abc_ObjFaninNum(pLut), Abc_ObjFaninNum(pLut), in Abc_NtkLutMerge()
H A DabcLutmin.c382 assert( Abc_ObjFaninNum(pNode) > Level ); in Abc_NtkCreateCofLut()
386 for ( i = Level; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkCreateCofLut()
431 assert( nLutSize < Abc_ObjFaninNum(pNode) ); in Abc_NtkBddCurtis()
509 assert( Abc_ObjFaninNum(pNode) == nLutSize + 1 ); in Abc_NtkBddFindCofactor()
528 if ( iCof == Abc_ObjFaninNum(pNode) ) in Abc_NtkBddFindCofactor()
533 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkBddFindCofactor()
556 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkBddFindCofactor()
561 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkBddFindCofactor()
595 assert( Abc_ObjFaninNum(pNode) > nLutSize ); in Abc_NtkBddDecompose()
597 if ( Abc_ObjFaninNum(pNode) == nLutSize + 1 ) in Abc_NtkBddDecompose()
[all …]
H A DabcMfs.c101 Counter += Abc_Truth6WordNum( Abc_ObjFaninNum(pObj) ); in Abc_NtkAssignStarts()
167 if ( Abc_ObjFaninNum(pObj) <= 6 ) in Abc_NtkExtractMfs()
169 word uTruth = Abc_SopToTruth((char *)pObj->pData, Abc_ObjFaninNum(pObj)); in Abc_NtkExtractMfs()
176 int nWords = Abc_Truth6WordNum( Abc_ObjFaninNum(pObj) ); in Abc_NtkExtractMfs()
194 Vec_IntGrow( vArray, Abc_ObjFaninNum(pObj) ); in Abc_NtkExtractMfs()
202 Vec_IntGrow( vArray, Abc_ObjFaninNum(pObj) ); in Abc_NtkExtractMfs()
240 if ( Abc_ObjFaninNum(pObj) <= 6 ) in Abc_NtkExtractMfs2()
242 word uTruth = Abc_SopToTruth((char *)pObj->pData, Abc_ObjFaninNum(pObj)); in Abc_NtkExtractMfs2()
249 int nWords = Abc_Truth6WordNum( Abc_ObjFaninNum(pObj) ); in Abc_NtkExtractMfs2()
267 Vec_IntGrow( vArray, Abc_ObjFaninNum(pObj) ); in Abc_NtkExtractMfs2()
[all …]
H A DabcSweep.c163 if ( Abc_ObjFaninNum(pNode) == 0 ) in Abc_NtkFraigSweepUsingExdc()
205 if ( Abc_ObjFaninNum(pNode) == 0 ) in Abc_NtkFraigEquiv()
627 if ( Abc_ObjFaninNum(pNode) < 2 ) in Abc_NtkSweep()
642 if ( Abc_ObjFaninNum(pNode) == 0 ) in Abc_NtkSweep()
646 assert( Abc_ObjFaninNum(pNode) == 1 ); in Abc_NtkSweep()
655 if ( Abc_ObjFaninNum(pFanout) < 2 ) in Abc_NtkSweep()
671 if ( Abc_ObjFaninNum(pNode) != 1 ) in Abc_NtkSweep()
751 if ( Abc_ObjFaninNum(pObj) == 0 ) in Abc_NtkSetTravId_rec()
753 assert( Abc_ObjFaninNum(pObj) == 1 ); in Abc_NtkSetTravId_rec()
770 if ( Abc_ObjFaninNum(pObj) == 0 ) in Abc_NtkCheckConstant_rec()
[all …]
H A DabcReorder.c56 pOrder = ABC_ALLOC( int, Abc_ObjFaninNum(pNode) ); in Abc_NodeBddReorder()
57 for ( i = 0; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NodeBddReorder()
92 if ( Abc_ObjFaninNum(pNode) < 3 ) in Abc_NtkBddReorder()
H A DabcSpeedup.c68 for ( i = 0; i < Abc_ObjFaninNum(pNode)-1; i++ ) in Abc_NtkDelayTraceSortPins()
71 for ( j = i+1; j < Abc_ObjFaninNum(pNode); j++ ) in Abc_NtkDelayTraceSortPins()
81 assert( Abc_ObjFaninNum(pNode) == 0 || pPinPerm[0] < Abc_ObjFaninNum(pNode) ); in Abc_NtkDelayTraceSortPins()
82 for ( i = 1; i < Abc_ObjFaninNum(pNode); i++ ) in Abc_NtkDelayTraceSortPins()
84 assert( pPinPerm[i] < Abc_ObjFaninNum(pNode) ); in Abc_NtkDelayTraceSortPins()
143 pDelays = pLutLib->pLutDelays[Abc_ObjFaninNum(pNode)]; in Abc_NtkDelayTraceLut()
150 pDelays = pLutLib->pLutDelays[Abc_ObjFaninNum(pNode)]; in Abc_NtkDelayTraceLut()
165 if ( Abc_ObjFaninNum(pNode) == 0 ) in Abc_NtkDelayTraceLut()
268 if ( Abc_ObjFaninNum(pNode) == 0 ) in Abc_NtkDelayTracePrint()
485 pDelays = pLutLib->pLutDelays[Abc_ObjFaninNum(pNode)]; in Abc_NtkDelayTraceTCEdges()
[all …]
H A DabcTim.c37 …; return Abc_ObjId(pObj) % TIM_TEST_BOX_RATIO == 0 && Abc_ObjFaninNum(pObj) > 0 && Abc_ObjFaninNum… in Abc_NodeIsWhiteBox()
293 nBoxFaninMax = Abc_MaxInt( nBoxFaninMax, Abc_ObjFaninNum(pObj) ); in Abc_NtkTestTimDeriveGia()
295 curPo += Abc_ObjFaninNum(pObj); in Abc_NtkTestTimDeriveGia()
297 …"Selecting node %6d as white boxes with %d inputs and %d output.\n", i, Abc_ObjFaninNum(pObj), 1 ); in Abc_NtkTestTimDeriveGia()
329 … BoxUniqueId = Abc_ObjFaninNum(pObj); // in this case, the node size is the ID of its delay table in Abc_NtkTestTimDeriveGia()
330 Tim_ManCreateBox( pTim, curPo, Abc_ObjFaninNum(pObj), curPi, 1, BoxUniqueId, 0 ); in Abc_NtkTestTimDeriveGia()
331 curPo += Abc_ObjFaninNum(pObj); in Abc_NtkTestTimDeriveGia()
H A DabcIfif.c140 for ( i = 0; i < Abc_ObjFaninNum(pObj); i++ ) in Abc_ObjDelay0()
163 if ( Abc_ObjFaninNum(pObj) == 0 ) in Abc_ObjDelay1()
173 for ( i = 0; i < Abc_ObjFaninNum(pObj); i++ ) in Abc_ObjDelay1()
202 for ( i = 0; i < Abc_ObjFaninNum(pObj); i++ ) in Abc_ObjDelay1()
234 for ( i = 0; i < Abc_ObjFaninNum(pObj); i++ ) in Abc_ObjDelayDegree()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadEdif.c201 …Abc_ObjSetData( pObj, Abc_SopCreateAnd((Mem_Flex_t *)pNtk->pManFunc, Abc_ObjFaninNum(pObj), NULL) … in Io_ReadEdifNetwork()
203 …Abc_ObjSetData( pObj, Abc_SopCreateOr((Mem_Flex_t *)pNtk->pManFunc, Abc_ObjFaninNum(pObj), NULL) ); in Io_ReadEdifNetwork()
205 … Abc_ObjSetData( pObj, Abc_SopCreateNand((Mem_Flex_t *)pNtk->pManFunc, Abc_ObjFaninNum(pObj)) ); in Io_ReadEdifNetwork()
207 … Abc_ObjSetData( pObj, Abc_SopCreateNor((Mem_Flex_t *)pNtk->pManFunc, Abc_ObjFaninNum(pObj)) ); in Io_ReadEdifNetwork()
209 … Abc_ObjSetData( pObj, Abc_SopCreateXor((Mem_Flex_t *)pNtk->pManFunc, Abc_ObjFaninNum(pObj)) ); in Io_ReadEdifNetwork()
211 … Abc_ObjSetData( pObj, Abc_SopCreateNxor((Mem_Flex_t *)pNtk->pManFunc, Abc_ObjFaninNum(pObj)) ); in Io_ReadEdifNetwork()
H A DioWriteBook.c309 isize=Abc_ObjFaninNum(pNode); in Io_NtkWriteIntNode()
387 assert ( i == Abc_ObjFaninNum(pNode) ); in Io_NtkWriteNodeGate()
413 numPin+=Abc_ObjFaninNum(pNet)+Abc_ObjFanoutNum(pNet); in Io_NtkWriteNets()
447 int NetDegree=Abc_ObjFaninNum(pNet)+Abc_ObjFanoutNum(pNet); in Io_NtkWriteIntNet()
826 if( Abc_ObjFaninNum( pNeighbor ) ) in Io_NtkBfsPads()
854 if ( Abc_ObjFaninNum(pNode) != 2 ) in Abc_NodeIsNand2()
882 if ( Abc_ObjFaninNum(pNode) != 2 ) in Abc_NodeIsNor2()
906 if ( Abc_ObjFaninNum(pNode) != 2 ) in Abc_NodeIsAnd2()
932 if ( Abc_ObjFaninNum(pNode) != 2 ) in Abc_NodeIsOr2()
960 if ( Abc_ObjFaninNum(pNode) != 2 ) in Abc_NodeIsXor2()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fret/
H A DfretMain.c140 assert(Abc_ObjFaninNum(pObj) == 1); in Abc_FlowRetime_MinReg()
146 assert(Abc_ObjFaninNum(pNext) <= 1); in Abc_FlowRetime_MinReg()
152 assert(Abc_ObjFaninNum(pNext) == 1); in Abc_FlowRetime_MinReg()
580 assert(Abc_ObjFaninNum(pBi) == 0); in Abc_FlowRetime_FixLatchBoxes()
582 assert(Abc_ObjFaninNum(pBo) == 0); in Abc_FlowRetime_FixLatchBoxes()
594 assert(Abc_ObjFaninNum(pObj) == 1); in Abc_FlowRetime_FixLatchBoxes()
609 assert(Abc_ObjFaninNum(pBi) == 0); in Abc_FlowRetime_FixLatchBoxes()
630 assert(Abc_ObjFaninNum(pObj) == 1); in Abc_FlowRetime_FixLatchBoxes()
634 assert(Abc_ObjFaninNum(pObj) == 1); in Abc_FlowRetime_FixLatchBoxes()
677 if (Abc_ObjFaninNum(pObj) > 0) { in Abc_FlowRetime_VerifyPathLatencies()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcExpand.c146 if ( !Abc_ObjIsNode(pObj) || Abc_ObjFaninNum(pObj) == 0 ) in Abc_NtkExpandCubes()
148 assert( Abc_ObjFaninNum(pObj) == Gia_ManCiNum(pGia) ); in Abc_NtkExpandCubes()
156 if ( Abc_ObjExpandCubes( vSop, pNew, Abc_ObjFaninNum(pObj) ) ) in Abc_NtkExpandCubes()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbAbc.c58 pObj->iTemp = Acb_ObjAlloc( pNtk, ABC_OPER_LUT, Abc_ObjFaninNum(pObj), 0 ); in Acb_NtkFromAbc2()
68 … Acb_ObjSetTruth( pNtk, pObj->iTemp, Abc_SopToTruth((char *)pObj->pData, Abc_ObjFaninNum(pObj)) ); in Acb_NtkFromAbc2()
91 pObj->iTemp = Acb_ObjAlloc( pNtk, ABC_OPER_LUT, Abc_ObjFaninNum(pObj), 0 ); in Acb_NtkFromAbc()
102 … Acb_ObjSetTruth( pNtk, pObj->iTemp, Abc_SopToTruth((char *)pObj->pData, Abc_ObjFaninNum(pObj)) ); in Acb_NtkFromAbc()
140 assert( Abc_SopGetVarNum((char *)pObjNew->pData) == Abc_ObjFaninNum(pObjNew) ); in Acb_NtkToAbc()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmArea.c202 int i, k, Limit = Abc_ObjFaninNum(pObj); in Abc_ObjHasDupFanins()
225 int i, fNeedInv = 0, Gain = 0, iFanin = Abc_ObjFaninNum(pObj), fUseInv = Abc_NodeIsInv(pObj); in Abc_ObjChangeEval()
276 for ( v = 0; v < Abc_ObjFaninNum(pObj); v++ ) in Abc_ObjChangeUpdate()
286 int i, k, iFanin = Abc_ObjFaninNum(pObj); in Abc_ObjChangePerform()
347 if ( Abc_ObjFaninNum(pObj) < 2 && !Abc_NodeIsInv(pObj) ) in Abc_NtkChangePerform()

1234