Lines Matching refs:Abc_ObjFaninNum
140 assert(Abc_ObjFaninNum(pObj) == 1); in Abc_FlowRetime_MinReg()
146 assert(Abc_ObjFaninNum(pNext) <= 1); in Abc_FlowRetime_MinReg()
147 if(Abc_ObjFaninNum(pNext) == 0) // every Bi should have a fanin 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()
640 assert(Abc_ObjFaninNum(pObj) == 1); in Abc_FlowRetime_FixLatchBoxes()
677 if (Abc_ObjFaninNum(pObj) > 0) { in Abc_FlowRetime_VerifyPathLatencies()
878 if (Abc_ObjIsBi(pNext)) assert(Abc_ObjFaninNum(pNext) == 1); in Abc_FlowRetime_ImplementCut()
1160 assert( Abc_ObjFaninNum( pObj ) == Abc_ObjFaninNum( pObjCopy ) ); in Abc_FlowRetime_NtkDup()