Home
last modified time | relevance | path

Searched refs:If_Obj_t (Results 1 – 24 of 24) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A Dif.h78 typedef struct If_Obj_t_ If_Obj_t; typedef
374 static inline If_Obj_t * If_Regular( If_Obj_t * p ) { return (If_Obj_t *)(… in If_Regular()
375 static inline If_Obj_t * If_Not( If_Obj_t * p ) { return (If_Obj_t *)(… in If_Not()
376 static inline If_Obj_t * If_NotCond( If_Obj_t * p, int c ) { return (If_Obj_t *)(… in If_NotCond()
399 static inline If_Obj_t * If_ObjFanin0( If_Obj_t * pObj ) { return pObj->pFanin0… in If_ObjFanin0()
400 static inline If_Obj_t * If_ObjFanin1( If_Obj_t * pObj ) { return pObj->pFanin1… in If_ObjFanin1()
407 static inline void If_ObjSetChoice( If_Obj_t * pObj, If_Obj_t * pEqu ) { pObj->pEquiv = pEqu;… in If_ObjSetChoice()
622 extern If_Obj_t * If_ManCreateCo( If_Man_t * p, If_Obj_t * pDriver );
623 extern If_Obj_t * If_ManCreateAnd( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1 );
624 extern If_Obj_t * If_ManCreateXor( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1 );
[all …]
H A DifReduce.c83 If_Obj_t * pObj; in If_ManImproveExpand()
109 If_Obj_t * pFanin; in If_ManImproveCutCost()
111 Vec_PtrForEachEntry( If_Obj_t *, vFront, pFanin, i ) in If_ManImproveCutCost()
130 If_Obj_t * pFanin; in If_ManImproveNodeExpand()
207 If_Obj_t * pLeaf; in If_ManImproveNodePrepare()
239 If_Obj_t * pFanin; in If_ManImproveNodeUpdate()
268 If_Obj_t * pFanin0, * pFanin1; in If_ManImproveNodeWillGrow()
315 If_Obj_t * pFanin; in If_ManImproveNodeFaninUpdate()
347 If_Obj_t * pFanin; in If_ManImproveNodeFaninCompact0()
377 If_Obj_t * pFanin; in If_ManImproveNodeFaninCompact1()
[all …]
H A DifUtil.c47 If_Obj_t * pObj; in If_ManCleanNodeCopy()
66 If_Obj_t * pObj; in If_ManCleanCutData()
85 If_Obj_t * pObj; in If_ManCleanMarkV()
106 If_Obj_t * pLeaf;
222 If_Obj_t * pLeaf;
258 If_Obj_t * pObj;
289 If_Obj_t * pObj; in If_ManResetOriginalRefs()
436 If_Obj_t * pObj; in If_ManMarkMapping()
465 If_Obj_t * pObj; in If_ManCollectMappingDirect()
490 If_Obj_t * pObj; in If_ManCollectMappingInt()
[all …]
H A DifCheck.c61 int If_ManCutReach_rec( If_Obj_t * pPath, If_Obj_t * pLeaf ) in If_ManCutReach_rec()
74 int If_ManCutReach( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * pPath, If_Obj_t * pLeaf ) in If_ManCutReach()
76 If_Obj_t * pTemp; in If_ManCutReach()
97 int If_ManCutTruthCheck_rec( If_Obj_t * pObj, word * pTruths ) in If_ManCutTruthCheck_rec()
109 int If_ManCutTruthCheck( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, If_Obj_t * pLeaf, int Cof,… in If_ManCutTruthCheck()
112 If_Obj_t * pTemp; in If_ManCutTruthCheck()
144 void If_ManCutCheck( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut ) in If_ManCutCheck()
151 If_Obj_t * pLeaf, * pPath; in If_ManCutCheck()
H A DifSelect.c68 If_Obj_t * pLeaf; in If_ObjConePrint()
97 If_Obj_t * pTemp; in If_ManNodeShapeMap_rec()
131 If_Obj_t * pLeaf; in If_ManNodeShapeMap()
182 If_Obj_t * pTemp, * pTempBest = NULL; in If_ManNodeShapeMap2_rec()
224 If_Obj_t * pLeaf; in If_ManNodeShapeMap2()
265 If_Obj_t * pTemp; in If_ManConeCollect_rec()
303 If_Obj_t * pLeaf; in If_ManConeCollect()
386 If_Obj_t * pTemp; in If_ManNodeShape2_rec()
418 If_Obj_t * pObj, * pTemp; in If_ManNodeShapeSat()
436 Vec_PtrForEachEntry( If_Obj_t *, vCone, pObj, i ) in If_ManNodeShapeSat()
[all …]
H A DifMan.c334 If_Obj_t * pObj; in If_ManCreateCi()
354 If_Obj_t * If_ManCreateCo( If_Man_t * p, If_Obj_t * pDriver ) in If_ManCreateCo()
356 If_Obj_t * pObj; in If_ManCreateCo()
382 If_Obj_t * If_ManCreateAnd( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1 ) in If_ManCreateAnd()
384 If_Obj_t * pObj; in If_ManCreateAnd()
420 If_Obj_t * If_ManCreateXor( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1 ) in If_ManCreateXor()
439 If_Obj_t * If_ManCreateMux( If_Man_t * p, If_Obj_t * pFan0, If_Obj_t * pFan1, If_Obj_t * pCtrl ) in If_ManCreateMux()
460 If_Obj_t * pTemp; in If_ManCreateChoice()
540 If_Obj_t * pObj; in If_ManSetupObj()
566 If_Obj_t * pObj; in If_ManSetupCiCutSets()
[all …]
H A DifSeq.c49 If_Obj_t * pObjLi, * pObjLo; in If_ManPrepareMappingSeq()
73 void If_ManCollectLatches_rec( If_Obj_t * pObj, Vec_Ptr_t * vLatches ) in If_ManCollectLatches_rec()
98 If_Obj_t * pObj; in If_ManCollectLatches()
105 Vec_PtrForEachEntry( If_Obj_t *, vLatches, pObj, i ) in If_ManCollectLatches()
125 If_Obj_t * pObj; in If_ManPerformMappingRoundSeq()
134 Vec_PtrForEachEntry( If_Obj_t *, p->vLatchOrder, pObj, i ) in If_ManPerformMappingRoundSeq()
168 Vec_PtrForEachEntry( If_Obj_t *, p->vLatchOrder, pObj, i ) in If_ManPerformMappingRoundSeq()
200 If_Obj_t * pObj; in If_ManBinarySearchPeriod()
295 If_Obj_t * pObjLi, * pObjLo, * pObj; in If_ManPerformMappingSeqPost()
H A DifCut.c878 If_Obj_t * pLeaf; in If_CutPrintTiming()
921 If_Obj_t * pLeaf; in If_CutAreaFlow()
959 If_Obj_t * pLeaf; in If_CutEdgeFlow()
997 If_Obj_t * pLeaf; in If_CutPowerFlow()
1028 If_Obj_t * pLeaf; in If_CutAverageRefs()
1050 If_Obj_t * pLeaf; in If_CutAreaDeref()
1077 If_Obj_t * pLeaf; in If_CutAreaRef()
1151 If_Obj_t * pLeaf; in If_CutEdgeDeref()
1178 If_Obj_t * pLeaf; in If_CutEdgeRef()
1411 If_Obj_t * pObj; in If_CutGetCones()
[all …]
H A DifTime.c46 If_Obj_t * pLeaf; in If_CutSortInputPins()
91 float If_CutDelay( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut ) in If_CutDelay()
96 If_Obj_t * pLeaf; in If_CutDelay()
178 void If_CutPropagateRequired( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut, float ObjRequired ) in If_CutPropagateRequired()
182 If_Obj_t * pLeaf; in If_CutPropagateRequired()
265 If_Obj_t * pObj; in If_ManDelayMax()
309 If_Obj_t * pObj; in If_ManComputeRequired()
H A DifMap.c31 extern int If_CutDelayRecCost3( If_Man_t* p, If_Cut_t* pCut, If_Obj_t * pObj );
50 int If_ManCutAigDelay_rec( If_Man_t * p, If_Obj_t * pObj, Vec_Ptr_t * vVisited ) in If_ManCutAigDelay_rec()
66 int If_ManCutAigDelay( If_Man_t * p, If_Obj_t * pObj, If_Cut_t * pCut ) in If_ManCutAigDelay()
68 If_Obj_t * pLeaf; in If_ManCutAigDelay()
79 Vec_PtrForEachEntry( If_Obj_t *, p->vVisited, pLeaf, i ) in If_ManCutAigDelay()
119 If_Obj_t * pLeaf; in If_CutDelaySpecial()
162 void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPreprocess, int fFirst ) in If_ObjPerformMappingAnd()
505 void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPreprocess ) in If_ObjPerformMappingChoice()
508 If_Obj_t * pTemp; in If_ObjPerformMappingChoice()
592 If_Obj_t * pObj; in If_ManPerformMappingRound()
H A DifCore.c106 If_Obj_t * pObj; in If_ManPerformMappingComb()
H A DifDelay.c70 If_Obj_t * pLeaf; in If_CutDelaySop()
H A DifTruth.c69 If_Obj_t * pLeaf; in If_CutRotatePins()
H A DifDec16.c2107 If_Obj_t * pLeaf; in If_CutDelayLutStruct()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/
H A DlpkMap.c45 If_Obj_t * Lpk_MapPrimeInternal( If_Man_t * pIfMan, Kit_Graph_t * pGraph ) in Lpk_MapPrimeInternal()
48 If_Obj_t * pAnd0, * pAnd1; in Lpk_MapPrimeInternal()
55 return (If_Obj_t *)Kit_GraphVar(pGraph)->pFunc; in Lpk_MapPrimeInternal()
59 pAnd0 = (If_Obj_t *)Kit_GraphNode(pGraph, pNode->eEdge0.Node)->pFunc; in Lpk_MapPrimeInternal()
60 pAnd1 = (If_Obj_t *)Kit_GraphNode(pGraph, pNode->eEdge1.Node)->pFunc; in Lpk_MapPrimeInternal()
65 return (If_Obj_t *)pNode->pFunc; in Lpk_MapPrimeInternal()
79 If_Obj_t * Lpk_MapPrime( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ) in Lpk_MapPrime()
83 If_Obj_t * pRes; in Lpk_MapPrime()
110 If_Obj_t * Lpk_MapTree_rec( Lpk_Man_t * p, Kit_DsdNtk_t * pNtk, If_Obj_t ** ppLeaves, int iLit, If_… in Lpk_MapTree_rec()
113 If_Obj_t * pObjNew = NULL, * pObjNew2 = NULL, * pFansNew[16]; in Lpk_MapTree_rec()
H A DlpkInt.h230 extern If_Obj_t * Lpk_MapPrime( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeav…
231 extern If_Obj_t * Lpk_MapTree_rec( Lpk_Man_t * p, Kit_DsdNtk_t * pNtk, If_Obj_t ** ppLeaves, in…
233 extern If_Obj_t * Lpk_MapTreeMulti( Lpk_Man_t * p, unsigned * pTruth, int nLeaves, If_Obj_t ** …
235 extern If_Obj_t * Lpk_MapTreeMux_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** …
236 extern If_Obj_t * Lpk_MapSuppRedDec_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t …
H A DlpkMux.c89 If_Obj_t * Lpk_MapTreeMux_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ) in Lpk_MapTreeMux_rec()
93 If_Obj_t * pObj0, * pObj1; in Lpk_MapTreeMux_rec()
133 If_Obj_t * Lpk_MapSuppRedDec_rec( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves… in Lpk_MapSuppRedDec_rec()
136 If_Obj_t * pObjNew; in Lpk_MapSuppRedDec_rec()
H A DlpkMulti.c272 If_Obj_t * Lpk_MapTreeMulti_rec( Lpk_Man_t * p, Kit_DsdNtk_t ** ppNtks, int * piLits, int * piCofVa… in Lpk_MapTreeMulti_rec()
275 If_Obj_t * pObjsNew[4][8], * pResPrev; in Lpk_MapTreeMulti_rec()
347 If_Obj_t * Lpk_MapTreeMulti( Lpk_Man_t * p, unsigned * pTruth, int nVars, If_Obj_t ** ppLeaves ) in Lpk_MapTreeMulti()
350 If_Obj_t * pResult; in Lpk_MapTreeMulti()
H A DlpkCore.c207 …extern Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t * pIfObj, … in Lpk_ExploreCut()
209 If_Obj_t * pDriver, * ppLeaves[16]; in Lpk_ExploreCut()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkMap.c109 If_Obj_t * pIfObj = NULL; in Nwk_ManToIf()
135 If_NotCond( (If_Obj_t *)Aig_ObjFanin0(pNode)->pData, Aig_ObjFaninC0(pNode) ), in Nwk_ManToIf()
136 If_NotCond( (If_Obj_t *)Aig_ObjFanin1(pNode)->pData, Aig_ObjFaninC1(pNode) ) ); in Nwk_ManToIf()
166 If_ObjSetChoice( (If_Obj_t *)pPrev->pData, (If_Obj_t *)pFanin->pData ); in Nwk_ManToIf()
167 If_ManCreateChoice( pIfMan, (If_Obj_t *)pNode->pData ); in Nwk_ManToIf()
191 If_Obj_t * pTemp; in Nwk_NodeIfToHop2_rec()
235 Hop_Obj_t * Nwk_NodeIfToHop( Hop_Man_t * pHopMan, If_Man_t * pIfMan, If_Obj_t * pIfObj ) in Nwk_NodeIfToHop()
239 If_Obj_t * pLeaf; in Nwk_NodeIfToHop()
281 If_Obj_t * pIfObj = NULL; in Nwk_ManFromIf()
293 pIfObj = (If_Obj_t *)Vec_PtrEntry( vAigToIf, i ); in Nwk_ManFromIf()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcIf.c38 static Hop_Obj_t * Abc_NodeIfToHop( Hop_Man_t * pHopMan, If_Man_t * pIfMan, If_Obj_t * pIfObj );
64 If_Obj_t * pIfObj; in If_ManComputeSwitching()
208 static inline If_Obj_t * Abc_ObjIfCopy( Abc_Obj_t * pNode ) { return (If_Obj_t *)pNode->pCopy; } in Abc_ObjIfCopy()
440 If_Obj_t * pIfLeaf; in Abc_NodeFromIf_rec()
594 If_Obj_t * pTemp; in Abc_NodeIfToHop2_rec()
638 Hop_Obj_t * Abc_NodeIfToHop( Hop_Man_t * pHopMan, If_Man_t * pIfMan, If_Obj_t * pIfObj ) in Abc_NodeIfToHop()
642 If_Obj_t * pLeaf; in Abc_NodeIfToHop()
789 If_Obj_t * pIfObj; in Abc_NtkMarkMux()
800 pIfObj = If_Regular( (If_Obj_t *)Abc_ObjFanin0(pDriver)->pCopy ); in Abc_NtkMarkMux()
803 pIfObj = If_Regular( (If_Obj_t *)Abc_ObjFanin1(pDriver)->pCopy ); in Abc_NtkMarkMux()
[all …]
H A DabcRec3.c691 int Abc_NtkRecAddCut3( If_Man_t * pIfMan, If_Obj_t * pRoot, If_Cut_t * pCut ) in Abc_NtkRecAddCut3()
701 If_Obj_t * pIfObj = NULL; in Abc_NtkRecAddCut3()
765 Vec_PtrForEachEntryStart( If_Obj_t *, vNodes, pIfObj, i, nLeaves ) in Abc_NtkRecAddCut3()
892 If_Obj_t* pLeaf; in If_CutComputeDelay()
1004 int If_CutDelayRecCost3( If_Man_t * pIfMan, If_Cut_t * pCut, If_Obj_t * pObj ) in If_CutDelayRecCost3()
1031 Hop_Obj_t * Abc_RecToHop3( Hop_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut, If_Obj_t * pIfObj ) in Abc_RecToHop3()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/
H A Dllb4Map.c54 If_Obj_t * pAnd; in Llb_AigMap()
94 pAnd = (If_Obj_t *)pNode->pCopy; in Llb_AigMap()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaIf.c771 static inline If_Obj_t * If_ManFanin0Copy( If_Man_t * pIfMan, Gia_Obj_t * pObj ) { return If_NotCon… in If_ManFanin0Copy()
776 If_Obj_t * pIfObj = NULL; in Gia_ManToIf()
899 int Gia_ManFromIfAig_rec( Gia_Man_t * pNew, If_Man_t * pIfMan, If_Obj_t * pIfObj ) in Gia_ManFromIfAig_rec()
915 If_Obj_t * pIfObj, * pIfLeaf; in Gia_ManFromIfAig()
1363 int Gia_ManNodeIfToGia_rec( Gia_Man_t * pNew, If_Man_t * pIfMan, If_Obj_t * pIfObj, Vec_Ptr_t * vVi… in Gia_ManNodeIfToGia_rec()
1366 If_Obj_t * pTemp; in Gia_ManNodeIfToGia_rec()
1401 int Gia_ManNodeIfToGia( Gia_Man_t * pNew, If_Man_t * pIfMan, If_Obj_t * pIfObj, Vec_Int_t * vLeaves… in Gia_ManNodeIfToGia()
1404 If_Obj_t * pLeaf; in Gia_ManNodeIfToGia()
1531 If_Obj_t * pIfObj = NULL; in Gia_ManFromIfGetConfig()
1787 If_Obj_t * pIfObj, * pIfLeaf; in Gia_ManFromIfLogic()
[all …]