| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
| H A D | acbPush.c | 50 int iFanin = Acb_ObjFanin( p, iObj, iFaninIndex ); in Acb_ObjPushToFanout() local
95 void Acb_ObjPushToFanin( Acb_Ntk_t * p, int iObj, int iFaninIndex2, int iFanin ) in Acb_ObjPushToFanin()
153 int k, iFanin, * pFanins; in Acb_ObjSuppMin_int() local
229 int iFanin = Acb_ObjFanin( p, iObj, 0 ); in Acb_ObjRemoveBufInv() local
241 int iFanin = Acb_ObjFanin( p, iObj, 0 ); in Acb_ObjRemoveBufInv() local
267 int k, iFanin, * pFanins; in Acb_ObjFindFaninPushableIndex() local
275 int k, iFanin, * pFanins; in Acb_ObjFindFanoutPushableIndex() local
283 int k, k2, iFanin, * pFanins; in Acb_ObjPushToFanins() local
|
| H A D | acbUtil.c | 48 int * pFanin, iFanin, i; in Acb_ObjCollectTfi_rec() local
111 int * pFanins, iFanin, k, Level = 0; in Acb_ObjComputeLevelD() local
178 int * pFanins, iFanin, k, Path = 0; in Acb_ObjComputePathD() local
406 int k, iFanin, * pFanins; in Acb_NtkPrintNode() local
424 int k, iFanin, * pFanins; in Acb_NtkResetNode() local
452 int k, iFanin, * pFanins; in Acb_NtkSaveSupport() local
487 int * pFanin, iFanin, i; in Acb_NtkFindNodes2_rec() local
509 int * pFanin, iFanin, k, Type, Res; in Acb_ObjToGia2() local
|
| H A D | acbMfs.c | 168 int k, iFanin, * pFanins, Prev, This; in Acb_DeriveCnfForNode() local
199 int i, k, iObj, iObjLit, iFanin, * pFanins, Entry; in Acb_NtkWindow2Cnf() local
466 int k, iFanin, * pFanins; in Acb_NtkDivisors_rec() local
478 int k, iFanin, * pFanins; in Acb_NtkDivisors() local
663 int i, k, Node, iFanin, * pFanins; in Acb_NtkCollectTfoSideInputs() local
689 int i, iFanin, * pFanins; in Acb_NtkCollectNewTfi1_rec() local
700 int i, iFanin, * pFanins; in Acb_NtkCollectNewTfi2_rec() local
750 int i, k, iObj, iFanin, * pFanins; in Acb_NtkCollectWindow() local
895 int k, iFanin; in Acb_NtkRemapIntoSatVariables() local
916 int nSuppNew, status, k, iFanin, * pFanins; in Acb_NtkFindSupp1() local
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
| H A D | wlnNtk.c | 172 int i, iFanin, iObjNew = Wln_ObjClone( pNew, p, iObj ); in Wln_ObjDup() local
184 int i, iFanin; in Wln_NtkDupDfs_rec() local
197 int i, k, iObj, iFanin; in Wln_NtkDupDfs() local
229 int k, iObj, iFanin; in Wln_NtkCreateRefs() local
278 int k, iObj, iFanin; in Wln_NtkStaticFanoutStart() local
|
| H A D | wlnRetime.c | 51 #define Wln_RetForEachFanin( p, iObj, iFanin, pLink, i ) \ argument
78 int k, iFanin, Type = Wln_ObjType(p->pNtk, iObj), * pLink; in Wln_RetPrintObj() local
151 Wln_Ret_t * p; int k, iObj, iFanin, fFirst = 1; in Wln_RetAlloc() local
269 int k, iFanin, * pLink, * pDelay = Vec_IntEntryP( &p->vPathDelays, iObj ); in Wln_RetPropDelay_rec() local
314 int k, iFanin, * pLink, FaninDelay; in Wln_RetFindSources_rec() local
359 int k, iFanin, * pLink, iFlop, Class = -1; in Wln_RetCheckForwardOne() local
386 int k, iFanin, * pLink, iFlop, Class = -1; in Wln_RetCheckBackwardOne() local
426 int k, iFanin, * pLink, iFlop, iFlop1 = -1; in Wln_RetRemoveOneFanin() local
443 int k, iFanin, * pLink, iFlop, iFlop1 = -1; in Wln_RetRemoveOneFanout() local
459 int k, iHead, iFanin, * pLink; in Wln_RetInsertOneFanin() local
[all …]
|
| H A D | wlnObj.c | 100 int i, iFanin; in Wln_ObjAddFanins() local
129 int Wln_ObjCreateCo( Wln_Ntk_t * p, int iFanin ) in Wln_ObjCreateCo()
138 int k, iFanin, Type = Wln_ObjType(p, iObj); in Wln_ObjPrint() local
|
| H A D | wlnWriteVer.c | 80 int iFanin = Wln_ObjFanin0( p, iNode ); in Wln_WriteTables() local
142 int k, j, iObj, iFanin; in Wln_WriteVerInt() local
|
| H A D | wlnNdr.c | 48 int i, k, iObj, iFanin; in Wln_NtkToNdr() local
136 int k, iObj, iFanin; in Ndr_NtkPrintObjects() local
187 int Mod = 2, i, k, iFanin, iObj, Obj, * pArray, nDigits, fFound, NameId, NameIdMax; in Wln_NtkFromNdr() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
| H A D | sfmWin.c | 47 int i, iFanin, Value, Count; in Sfm_ObjRef_rec() local
62 int i, iFanin, Count = 1; in Sfm_ObjRef() local
69 int i, iFanin, Value, Count; in Sfm_ObjDeref_rec() local
84 int i, iFanin, Count = 1; in Sfm_ObjDeref() local
138 int i, iFanin; in Sfm_NtkDfs_rec() local
197 int i, iFanin; in Sfm_NtkCheckOverlap_rec() local
330 int i, iFanin; in Sfm_NtkCollectTfi_rec() local
|
| H A D | sfmNtk.c | 263 void Sfm_NtkRemoveFanin( Sfm_Ntk_t * p, int iNode, int iFanin ) in Sfm_NtkRemoveFanin()
273 void Sfm_NtkAddFanin( Sfm_Ntk_t * p, int iNode, int iFanin ) in Sfm_NtkAddFanin()
286 int i, iFanin; in Sfm_NtkDeleteObj_rec() local
310 int i, iFanin; in Sfm_NtkUpdateLevelR_rec() local
320 int iFanin = Sfm_ObjFanin( p, iNode, f ); in Sfm_NtkUpdate() local
|
| H A D | sfmCore.c | 113 int i, iFanin, iVar = -1; in Sfm_NodeResubSolve() local
219 int i, iFanin; in Sfm_NodeResub() local
|
| H A D | sfmArea.c | 225 int i, fNeedInv = 0, Gain = 0, iFanin = Abc_ObjFaninNum(pObj), fUseInv = Abc_NodeIsInv(pObj); in Abc_ObjChangeEval() local
267 void Abc_ObjChangeUpdate( Abc_Obj_t * pObj, int iFanin, Mio_Cell2_t * pCells, int * pNodeInfo, Vec_… in Abc_ObjChangeUpdate()
286 int i, k, iFanin = Abc_ObjFaninNum(pObj); in Abc_ObjChangePerform() local
|
| H A D | sfmSat.c | 61 int RetValue, iNode = -1, iFanin, i, k; in Sfm_NtkWindowToSolver() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaSpeedup.c | 48 int iFanin, i, j, best_i, temp; in Gia_LutDelayTraceSortPins() local
90 int Gia_LutWhereIsPin( Gia_Man_t * p, int iFanout, int iFanin, int * pPinPerm ) in Gia_LutWhereIsPin()
114 int k, iFanin, pPinPerm[32]; in Gia_ObjComputeArrival() local
173 int k, iFanin, pPinPerm[32]; in Gia_ObjPropagateRequired() local
509 int k, iFanin; in Gia_LutDelayTraceTCEdges() local
633 int iObj, iFanin, iFanin2, nNodesNew; in Gia_ManSpeedup() local
|
| H A D | giaIff.c | 95 int i, iFanin, Count = 0; in Gia_IffObjCount() local
146 int i, iFanin; in Gia_IffObjTimeOne() local
167 int i, iFanin, nSize; in Gia_IffObjTimeTwo() local
188 int i, k, iFanin, iFanin2, nSize; in Gia_IffObjTimeThree() local
230 int iObj, iFanin, iFanin1, iFanin2; in Gia_ManIffPerform() local
313 int i, iFanin, iFaninSkip2, iFaninSkip3; in Gia_ManIffSelect_rec() local
|
| H A D | giaSatEdge.c | 81 int i, iLut, iFanin; in Seg_ManCountIntEdges() local
104 int iFanin, iObj, i; in Seg_ManCollectObjEdges() local
229 int iLut, iFanin, iFirst; in Seg_ManCreateCnf() local
420 int iFanin, iObj, i; in Seg_ManConvertResult() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
| H A D | wlcNtk.c | 313 int i, k, iFanin, Level, LevelMax = 0; in Wlc_NtkCreateLevels_() local
328 int i, k, iFanin, Level, LevelMax = 0; in Wlc_NtkCreateLevelsRev() local
362 int k, iFanin, Level = 0, iObj = Wlc_ObjId(p, pObj); in Wlc_NtkCreateLevels_rec() local
388 int i, k, iFanin, iObj, Entry, Level = 0, Res = nLevels; in Wlc_NtkRemapLevels() local
905 int i, iFanin; in Wlc_ObjCollectCopyFanins() local
943 int i, iFanin; in Wlc_NtkDupDfs_rec() local
990 int i, k, iObj, iFanin; in Wlc_NtkDupDfs() local
1167 int i, iFanin; in Wlc_NtkMarkCone_rec() local
1237 int i, k, iFanin, iFaninNew, iObjNew, Count = 0; in Wlc_NtkDupSingleNodes() local
|
| H A D | wlcUif.c | 187 int i, k, iObj, iFanin; in Wlc_NtkAbstractNodes() local
243 int iFanin, iFanin2, iFaninNew; in Wlc_NtkUifNodePairs() local
|
| H A D | wlcShow.c | 319 int k, iFanin; in Wlc_NtkDumpDot() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
| H A D | bacWriteBlif.c | 133 int iFanin, i; in Bac_ManWriteBlifGate() local
141 int iFanin, i; in Bac_ManWriteBlifArray() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/ |
| H A D | amapOutput.c | 78 int i, k, iFanin, fCompl; in Amap_ManProduceMapped() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/cov/ |
| H A D | covBuild.c | 49 int i, iFanin, Lit; in Abc_NtkCovDeriveCube() local
249 int i, iFanin, Lit; in Abc_NtkCovDeriveCubeInv() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsResub.c | 165 int Abc_NtkMfsSolveSatResub( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int fOnlyRemove, int fSk… in Abc_NtkMfsSolveSatResub()
319 int Abc_NtkMfsSolveSatResub2( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int iFanin2 ) in Abc_NtkMfsSolveSatResub2()
|
| H A D | mfsResub_.c | 141 int Abc_NtkMfsSolveSatResub( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int fOnlyRemove, int fSk… in Abc_NtkMfsSolveSatResub()
291 int Abc_NtkMfsSolveSatResub2( Mfs_Man_t * p, Abc_Obj_t * pNode, int iFanin, int iFanin2 ) in Abc_NtkMfsSolveSatResub2()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/ |
| H A D | mpmMig.c | 126 int i, iFanin; in Mig_ManSetRefs() local
|