/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcQuant.c | 202 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 D | abcBm.c | 1075 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 D | abcVerify.c | 839 if ( Abc_NtkPi(pFrames, k*Abc_NtkPiNum(pNtk) + i)->pCopy ) in Abc_NtkGetSeqPoSupp()
|
H A D | abcMiter.c | 180 pObj = Abc_NtkPi(pNtk2, i); in Abc_NtkMiterPrepare()
|
H A D | abcDar.c | 1252 pObj->pData = Abc_NtkPi(pNtkNew, i); in Abc_NtkFromDarSeq()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
H A D | abcHieGia.c | 110 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 D | abcBarBuf.c | 300 pObj->pCopy = Abc_NtkPi(pNtkNew, i); in Abc_NtkFromBarBufs() 474 pObj->pCopy = Abc_NtkPi(pNtkNew, i); in Abc_NtkBarBufsFromBuffers()
|
H A D | abcCheck.c | 654 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 D | abcNtk.c | 202 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 D | abcHie.c | 157 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 D | abcHieCec.c | 237 Abc_ObjFanout0( Abc_NtkPi(pNtkModel, k) )->iTemp = Abc_ObjFanin0(pTerm)->iTemp; in Abc_NtkDeriveFlatGia_rec()
|
H A D | abcNames.c | 651 Abc_ObjAssignName( pObj, Abc_ObjName(Abc_NtkPi(pOld, i)), NULL ); in Abc_NtkMoveNames()
|
H A D | abc.h | 317 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 D | ioReadDsd.c | 199 return Abc_NtkPi( pNtk, *pCur - 'a' ); in Io_ReadDsd_rec()
|
H A D | io.c | 2431 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 D | ioReadPlaMo.c | 758 Abc_ObjAddFanin( pNode, Abc_NtkPi(pNtk, k) ); in Mop_ManDerive()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/live/ |
H A D | liveness_sim.c | 94 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 D | liveness.c | 131 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 D | resSat.c | 281 Var = (int)(ABC_PTRUINT_T)Abc_NtkPi(p->pAig,i)->pCopy; in Res_SatSimulate()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
H A D | bacPtrAbc.c | 142 Vec_PtrPush( vBox, Ptr_AbcObjName(Abc_NtkPi(pNtk, i)) ); in Ptr_AbcDeriveBox()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmDec.c | 335 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()
|