Home
last modified time | relevance | path

Searched refs:Abc_NtkPi (Results 1 – 21 of 21) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcQuant.c202 Vec_PtrPush( vPairs, Abc_NtkPi(pNtkNew, i+nLatches) ); in Abc_NtkTransRel()
233 pObj = Abc_NtkPi( pNtkNew, i ); in Abc_NtkTransRel()
272 …pMiter = Abc_AigAnd( (Abc_Aig_t *)pNtkNew->pManFunc, pMiter, Abc_ObjNot( Abc_NtkPi(pNtkNew, i) ) ); in Abc_NtkInitialState()
300 pObj0 = Abc_NtkPi( pNtk, i ); in Abc_NtkSwapVariables()
301 pObj1 = Abc_NtkPi( pNtk, i+nVars ); in Abc_NtkSwapVariables()
415 pObj = Abc_NtkPi( pNtkReached, i ); in Abc_NtkReachability()
H A DabcBm.c1075 Vec_PtrPush(iMatchPairs, Abc_NtkPi(pNtk2, Vec_IntEntry(matchedInputs2, i))); in checkEquivalence()
1076 Vec_PtrPush(iMatchPairs, Abc_NtkPi(pNtk1, Vec_IntEntry(matchedInputs1, i))); in checkEquivalence()
1121 pObj = Abc_NtkPi(pNtk, i); in computeCofactor()
1128 pObj = Abc_NtkPi(pNtk, Vec_IntEntry(currInputs, i)); in computeCofactor()
1728 …ntf(result, "{%s}\t{%s}\n", Abc_ObjName(Abc_NtkPi(pNtk1, Vec_IntEntry(matchedInputs1, i))), Abc_Ob… in refineBySAT()
H A DabcVerify.c839 if ( Abc_NtkPi(pFrames, k*Abc_NtkPiNum(pNtk) + i)->pCopy ) in Abc_NtkGetSeqPoSupp()
H A DabcMiter.c180 pObj = Abc_NtkPi(pNtk2, i); in Abc_NtkMiterPrepare()
H A DabcDar.c1252 pObj->pData = Abc_NtkPi(pNtkNew, i); in Abc_NtkFromDarSeq()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcHieGia.c110 Abc_ObjFanout0(Abc_NtkPi(pModel, k))->iTemp = Abc_ObjFanin0(pTerm)->iTemp; in Abc_NtkFlattenHierarchyGia2_rec()
114 …Abc_ObjFanout0(Abc_NtkPi(pModel, k))->iTemp = Gia_ManAppendBuf( pNew, Abc_ObjFanout0(Abc_NtkPi(pMo… in Abc_NtkFlattenHierarchyGia2_rec()
525 …Abc_ObjAddFanin( pObj, Gia_ManInsertOne_rec(pNtk, pNew, Abc_NtkPi(Abc_ObjModel(pBox), k)->pCopy) ); in Gia_ManInsertOne()
560 Abc_NtkPi(pNtk, i)->pCopy = pObj; in Abc_NtkInsertHierarchyGia()
H A DabcBarBuf.c300 pObj->pCopy = Abc_NtkPi(pNtkNew, i); in Abc_NtkFromBarBufs()
474 pObj->pCopy = Abc_NtkPi(pNtkNew, i); in Abc_NtkBarBufsFromBuffers()
H A DabcCheck.c654 if ( strcmp( Abc_ObjName(pObj1), Abc_ObjName(Abc_NtkPi(pNtk2,i)) ) != 0 ) in Abc_NtkComparePis()
657 i, Abc_ObjName(pObj1), Abc_ObjName(Abc_NtkPi(pNtk2,i)) ); in Abc_NtkComparePis()
H A DabcNtk.c202 Abc_NtkDupObj( pNtkNew, Abc_NtkPi(pNtk, i), fCopyNames ); in Abc_NtkStartFromWithLatches()
212 Abc_NtkPi(pNtk, Abc_NtkPiNum(pNtk)-nLatches+i)->pCopy = pNode1; in Abc_NtkStartFromWithLatches()
834 Abc_NtkDeleteObj( Abc_NtkPi(pNtkTop, i) ); in Abc_NtkAttachBottom()
838 Abc_NtkPi(pNtkBottom, i)->pCopy = Abc_NtkPi(pNtkTop, i); in Abc_NtkAttachBottom()
2129 Vec_PtrPush( vTemp, Abc_NtkPi(pNtk, pInputs[i]) ); in Abc_NtkUnpermute()
H A DabcHie.c157 Abc_ObjFanout0( Abc_NtkPi(pNtkModel, k) )->pCopy = Abc_ObjFanin0(pTerm)->pCopy; in Abc_NtkFlattenLogicHierarchy2_rec()
384 Abc_ObjFanout0( Abc_NtkPi(pNtkModel, k) )->pCopy = Abc_ObjFanin0(pTerm)->pCopy; in Abc_NtkFlattenLogicHierarchy_rec()
H A DabcHieCec.c237 Abc_ObjFanout0( Abc_NtkPi(pNtkModel, k) )->iTemp = Abc_ObjFanin0(pTerm)->iTemp; in Abc_NtkDeriveFlatGia_rec()
H A DabcNames.c651 Abc_ObjAssignName( pObj, Abc_ObjName(Abc_NtkPi(pOld, i)), NULL ); in Abc_NtkMoveNames()
H A Dabc.h317 static inline Abc_Obj_t * Abc_NtkPi( Abc_Ntk_t * pNtk, int i ) { return (Abc_Obj_t *)Vec_PtrE… in Abc_NtkPi() function
516 for ( i = 0; (i < Abc_NtkPiNum(pNtk)) && (((pPi) = Abc_NtkPi(pNtk, i)), 1); i++ )
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadDsd.c199 return Abc_NtkPi( pNtk, *pCur - 'a' ); in Io_ReadDsd_rec()
H A Dio.c2431 if ( Abc_ObjName(Abc_NtkPi(pNtk, i))[0] == 'x' ) in Abc_NtkDumpOneCex()
2436 if ( Abc_ObjName(Abc_NtkPi(pNtk, i))[0] == 'x' ) in Abc_NtkDumpOneCex()
2442 …fprintf( pFile, "%s@0=%c\n", Abc_ObjName(Abc_NtkPi(pNtk, i))+1, Abc_ObjName(Abc_NtkPi(pNtk, i))[0]… in Abc_NtkDumpOneCex()
2444 …fprintf( pFile, "%s@0=%c\n", Abc_ObjName(Abc_NtkPi(pNtk, i))+1, '0'+Abc_InfoHasBit(pCex->pData, pC… in Abc_NtkDumpOneCex()
H A DioReadPlaMo.c758 Abc_ObjAddFanin( pNode, Abc_NtkPi(pNtk, k) ); in Mop_ManDerive()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/
H A Dliveness_sim.c94 pNode = Abc_NtkPi( pNtkOld, index ); in retrieveTruePiName()
249 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkPi( pNtk, i ) )); in LivenessToSafetyTransformationSim()
526 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkPi( pNtk, i ) )); in LivenessToSafetyTransformationOneStepLoopSim()
H A Dliveness.c131 pNode = Abc_NtkPi( pNtkOld, index ); in retrieveTruePiName()
292 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkPi( pNtk, i ) )); in LivenessToSafetyTransformation()
589 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkPi( pNtk, i ) )); in LivenessToSafetyTransformationAbs()
897 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkPi( pNtk, i ) )); in LivenessToSafetyTransformationOneStepLoop()
1924 nodeName = Abc_UtilStrsav(Abc_ObjName( Abc_NtkPi( pNtk, i ) )); in LivenessToSafetyTransformationWithLTL()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresSat.c281 Var = (int)(ABC_PTRUINT_T)Abc_NtkPi(p->pAig,i)->pCopy; in Res_SatSimulate()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacPtrAbc.c142 Vec_PtrPush( vBox, Ptr_AbcObjName(Abc_NtkPi(pNtk, i)) ); in Ptr_AbcDeriveBox()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmDec.c335 Sfm_Dec_t * p = Sfm_DecMan( Abc_NtkPi(pNtk, 0) ); in Sfm_NtkSimulate()
375 Sfm_Dec_t * p = Sfm_DecMan( Abc_NtkPi(pNtk, 0) ); in Sfm_ObjFindCareSet()