Home
last modified time | relevance | path

Searched refs:Gia_ObjIsAnd (Results 1 – 25 of 153) sorted by relevance

1234567

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecBo.c64 if ( !Gia_ObjIsAnd(pDat0) || !Gia_ObjIsAnd(pDat1) ) in Acec_DetectBoothXorMux()
81 if ( !Gia_ObjIsAnd(pObj) ) in Acec_DetectBoothXorFanin()
87 if ( !Gia_ObjIsAnd(pFan0) || !Gia_ObjIsAnd(pFan1) ) in Acec_DetectBoothXorFanin()
144 if ( !Gia_ObjIsAnd(pObj) ) in Acec_DetectBoothTwoXor()
H A DacecStruct.c111 if ( Entry != -1 && Gia_ObjIsAnd(Gia_ManObj(p, Fanins[k]))) in Acec_StructAssignRanks()
213 assert( Gia_ObjIsAnd(pObj) ); in Acec_CollectSupp_rec()
229 if ( !Gia_ObjIsAnd(pObj) ) in Acec_FindNexts()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaMffc.c99 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManComputeDoms()
123 assert( Gia_ObjIsAnd(pNode) ); in Gia_NodeDeref_rec()
140 assert( Gia_ObjIsAnd(pNode) ); in Gia_NodeRef_rec()
160 assert( Gia_ObjIsAnd(pNode) ); in Gia_NodeCollect_rec()
168 assert( Gia_ObjIsAnd(pNode) ); in Gia_NodeMffcSizeSupp()
200 assert( Gia_ObjIsAnd(pNode) ); in Gia_ManDomDerive_rec()
268 if ( !Gia_ObjIsAnd(pObj) && !Gia_ObjIsCo(pObj) ) in Gia_ManComputeDomsTry()
274 if ( !Gia_ObjIsAnd(pObj) ) in Gia_ManComputeDomsTry()
H A DgiaDfs.c55 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManCollectCis_rec()
108 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManCollectAnds_rec()
139 else if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCollectAnds()
185 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManCollectNodesCis_rec()
267 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSuppSize_rec()
306 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManSuppSizeTest()
359 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManConeSize_rec()
476 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCollectSeq_rec()
548 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManCollectTfi_rec()
582 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManCollectTfo_rec()
H A DgiaSat.c120 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSatPartCollectSuper()
150 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSatPartCreate_rec()
209 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSatPartCountClauses()
255 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSatPartCount()
286 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSatPartCountNodes()
311 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSatPartPrint()
369 else if ( Gia_ObjIsAnd(pObj) ) in Gia_ManSatExperiment()
H A DgiaUtil.c348 if ( Gia_ObjIsAnd(pObj) ) in Gia_ObjSetPhase()
574 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManSetLevels()
694 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCreateValueRefs()
724 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCreateRefs()
807 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManDfsForCrossCut_rec()
849 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCrossCut()
917 if ( !Gia_ObjIsAnd(pNode0) || !Gia_ObjIsAnd(pNode1) ) in Gia_ObjIsMuxType()
951 if ( !Gia_ObjIsAnd(p0) || !Gia_ObjIsAnd(p1) ) in Gia_ObjRecognizeExor()
1414 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManPrintCo_rec()
1472 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManPrintCollect2_rec()
[all …]
H A DgiaTruth.c108 assert( Gia_ObjIsAnd(pObj) ); in Gia_LutComputeTruth6_rec()
149 assert( Gia_ObjIsAnd(pObj) ); in Gia_ObjComputeTruthTable6Lut_rec()
210 assert( Gia_ObjIsAnd(pObj) ); in Gia_ObjComputeTruth6CisSupport_rec()
245 assert( Gia_ObjIsAnd(pObj) ); in Gia_ObjComputeTruthTable6_rec()
260 assert( Gia_ObjIsAnd(pObj) ); in Gia_ObjComputeTruthTable6()
288 if ( !Gia_ObjIsAnd(pObj) ) in Gia_ObjCollectInternal_rec()
351 …pTruth0 = Gia_ObjIsAnd(Gia_ObjFanin0(pTemp)) ? Gla_ObjTruthNode(p, Gia_ObjFanin0(pTemp)) : Gla_Obj… in Gia_ObjComputeTruthTable()
377 else if ( Gia_ObjIsAnd(pRoot) ) in Gia_ObjComputeTruthTable()
457 assert( Gia_ObjIsAnd(Gia_ManObj(p, iObj)) ); in Gia_ObjCollectInternalCut_rec()
467 assert( Gia_ObjIsAnd(Gia_ManObj(p, iRoot)) ); in Gia_ObjCollectInternalCut()
[all …]
H A DgiaEnable.c53 assert( Gia_ObjIsAnd(pObj) ); in Gia_CollectSuper_rec()
75 if ( Gia_ObjIsAnd(pObj) ) in Gia_CollectSuper()
144 if ( !Gia_ObjIsAnd(pNode) ) in Gia_ManDetectSeqSignals()
183 if ( !Gia_ObjIsAnd(pNode) ) in Gia_ManDetectSeqSignals()
239 if ( !Gia_ObjIsAnd(pNode) ) in Gia_ManDetectSeqSignalsWithFanout()
278 if ( !Gia_ObjIsAnd(pNode) ) in Gia_ManDetectSeqSignalsWithFanout()
529 if ( !Gia_ObjIsAnd(pDriver) ) in Gia_ManRemoveEnables()
547 if ( !Gia_ObjIsAnd(pFan0) || !Gia_ObjIsAnd(pFan1) ) in Gia_ManRemoveEnables()
619 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManRemoveEnables()
H A DgiaIso3.c51 if ( Gia_ObjIsAnd(pObj) ) in Gia_Iso3Node()
89 if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ) in Gia_Iso3Compute()
91 if ( Gia_ObjIsAnd(pObj) ) in Gia_Iso3Compute()
H A DgiaRetime.c57 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManMarkAutonomous_rec()
104 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManRetimeDup_rec()
154 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManRetimeDupForward()
231 …if ( (Gia_ObjIsCo(pObj) || Gia_ObjIsAnd(pObj)) && Gia_ObjIsTravIdPrevious(p, Gia_ObjFanin0(pObj)) ) in Gia_ManRetimeForwardOne()
238 if ( Gia_ObjIsAnd(pObj) && Gia_ObjIsTravIdPrevious(p, Gia_ObjFanin1(pObj)) ) in Gia_ManRetimeForwardOne()
H A DgiaBalMap.c52 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManHighlight_rec()
54 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManHighlight_rec()
78 if ( Gia_ObjIsAnd(pObj) && !Gia_ObjIsTravIdCurrentId(p, i) ) in Gia_ManPrepareWin()
81 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManPrepareWin()
97 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManPrepareWin()
H A DgiaFalse.c100 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManFalseRebuild()
136 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCollectPath_rec()
192 if ( !Gia_ObjIsAnd(pObj) ) in Gia_ManCheckFalseOne()
204 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCheckFalseOne()
339 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManFalseRebuildPath()
380 if ( !Gia_ObjIsAnd(pObj) ) in Gia_ManCheckOne()
392 if ( !Gia_ObjIsAnd(pObj) ) in Gia_ManCheckOne()
512 if ( !Gia_ObjIsAnd(Gia_ObjFanin0(pObj)) ) in Gia_ManCheckFalse()
H A DgiaScl.c52 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManCombMarkUsed_rec()
65 pObj->fMark0 = Gia_ObjIsAnd(pObj) && !Gia_ObjIsBuf(pObj); in Gia_ManCombMarkUsed()
140 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManSeqMarkUsed_rec()
H A DgiaPat.c52 if ( Gia_ObjIsAnd(pObj) ) in Gia_SatCollectCone_rec()
110 assert( Gia_ObjIsAnd(pObj) ); in Gia_SatVerifyPattern()
H A DgiaHash.c348 if ( !Gia_ObjIsAnd(pNode0) && !Gia_ObjIsAnd(pNode1) ) in Gia_ManAddStrash()
350 pFanA = Gia_ObjIsAnd(pNode0) ? Gia_ObjChild0(pNode0) : NULL; in Gia_ManAddStrash()
351 pFanB = Gia_ObjIsAnd(pNode0) ? Gia_ObjChild1(pNode0) : NULL; in Gia_ManAddStrash()
352 pFanC = Gia_ObjIsAnd(pNode1) ? Gia_ObjChild0(pNode1) : NULL; in Gia_ManAddStrash()
353 pFanD = Gia_ObjIsAnd(pNode1) ? Gia_ObjChild1(pNode1) : NULL; in Gia_ManAddStrash()
755 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManRehash()
H A DgiaSweep.c55 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManMarkSeqGiaWithBoxes_rec()
146 else if ( Gia_ObjIsAnd(pObj) ) in Gia_ManDupWithBoxes()
247 for ( assert( Gia_ObjIsAnd(pObj) ); Gia_ObjIsAnd(pObj); pObj-- ) in Gia_ManFraigMarkAnd()
273 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManFraigCreateGia()
300 else if ( Gia_ObjIsAnd(pObj) ) in Gia_ManFraigCreateGia()
360 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManFraigReduceGia()
521 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Gia_ManFraigSelectReprs()
H A DgiaCCof.c126 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCofExtendSolver()
160 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Gia_ManCofOneDerive_rec()
161 if ( Gia_ObjIsAnd(pObj) ) in Gia_ManCofOneDerive_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRpm.c105 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManComputeDoms()
221 assert( Gia_ObjIsAnd(pDom) ); in Gia_ManTestDoms2()
264 for ( Lev = 0; Lev < LevMax && Gia_ObjIsAnd( Gia_ManObj(p, iDom) ); Lev++ ) in Gia_ManCollectDoms()
349 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManCountPisNodes_rec()
387 assert( Gia_ObjIsAnd(pNode) ); in Abs_GiaObjDeref_rec()
404 assert( Gia_ObjIsAnd(pNode) ); in Abs_GiaObjRef_rec()
468 assert( Gia_ObjIsAnd(pObj) ); in Abs_ManSupport1_rec()
474 assert( Gia_ObjIsAnd(pObj) ); in Abs_ManSupport1()
502 assert( Gia_ObjIsAnd(pObj) ); in Abs_ManSupport2_rec()
508 assert( Gia_ObjIsAnd(pObj) ); in Abs_ManSupport2()
[all …]
H A DabsRefJ.c160 assert( Gia_ObjIsAnd(pObj) ); in Rf2_ObjDeriveAnd()
273 else if ( Gia_ObjIsAnd(pObj) ) in Rf2_ManCollect_rec()
291 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rf2_ManCollect()
325 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rf2_ManSensitize()
356 assert( Gia_ObjIsAnd(pObj) ); in Rf2_ManSensitize()
418 else if ( Gia_ObjIsAnd(pObj) ) in Rf2_ManVerifyUsingTerSim()
468 else if ( Gia_ObjIsAnd(pObj) ) in Rf2_ManGatherFanins_rec()
714 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rf2_ManPropagate()
752 assert( Gia_ObjIsAnd(pObj) ); in Rf2_ManPropagate()
806 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rf2_ManBounds()
[all …]
H A DabsRef.c115 assert( Gia_ObjIsAnd(pObj) );
341 else if ( Gia_ObjIsAnd(pObj) ) in Rnm_ManCollect_rec()
361 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rnm_ManCollect()
406 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsAnd(pObj) ); in Rnm_ManSensitize()
418 assert( Gia_ObjIsRo(p->pGia, pObj) || Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ); in Rnm_ManSensitize()
437 assert( Gia_ObjIsAnd(pObj) ); in Rnm_ManSensitize()
500 assert( Gia_ObjIsRo(p->pGia, pObj) || Gia_ObjIsAnd(pObj) ); in Rnm_ManJustifyPropFanout_rec()
514 assert( Gia_ObjIsAnd(pFanout) ); in Rnm_ManJustifyPropFanout_rec()
566 if ( Gia_ObjIsAnd(pObj) ) in Rnm_ManJustify_rec()
647 else if ( Gia_ObjIsAnd(pObj) ) in Rnm_ManVerifyUsingTerSim()
H A DabsDup.c48 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManDupAbsFlops_rec()
134 if ( Gia_ObjIsAnd(pObj) ) in Gia_GlaCollectAssigned()
180 else if ( Gia_ObjIsAnd(pObj) ) in Gia_ManGlaCollect()
202 assert( Gia_ObjIsAnd(pObj) ); in Gia_ManDupAbsGates_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcRec3.c168 if ( Gia_ObjIsAnd(pObj) ) in Lms_GiaDelays()
201 assert( Gia_ObjIsAnd(pObj) ); in Lms_ObjArea()
225 if ( Gia_ObjIsAnd(pObj) ) in Lms_GiaSuppSizes()
276 assert( Gia_ObjIsAnd(pObj) ); in Lms_GiaPrintSubgraph_rec()
284 if ( Gia_ObjIsAnd(Gia_ObjFanin0(pObj)) ) in Lms_GiaPrintSubgraph()
632 assert( Gia_ObjIsAnd(pTemp) ); in Abc_NtkRecLibMerge3()
1060 assert( Gia_ObjIsAnd( Gia_ObjFanin0(pGiaPo) ) ); in Abc_RecToHop3()
1073 if ( Gia_ObjIsAnd(Gia_ObjFanin0(pGiaTemp)) ) in Abc_RecToHop3()
1078 if ( Gia_ObjIsAnd(Gia_ObjFanin1(pGiaTemp)) ) in Abc_RecToHop3()
1088 assert( Gia_ObjIsAnd(pGiaTemp) ); in Abc_RecToHop3()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecPat.c151 assert( Gia_ObjIsAnd(pObj) ); in Cec_ManPatComputePattern_rec()
180 assert( Gia_ObjIsAnd(pObj) ); in Cec_ManPatComputePattern1_rec()
218 assert( Gia_ObjIsAnd(pObj) ); in Cec_ManPatComputePattern2_rec()
258 assert( Gia_ObjIsAnd(pObj) ); in Cec_ManPatComputePattern3_rec()
325 assert( Gia_ObjIsAnd(pObj) ); in Cec_ManPatComputePattern4_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauGia.c264 if ( Gia_ObjIsAnd(pObj) ) in Dau_DsdBalance()
272 if ( Gia_ObjIsAnd(Gia_ObjFanin0(pObj)) ) in Dau_DsdBalance()
274 if ( Gia_ObjIsAnd(Gia_ObjFanin1(pObj)) ) in Dau_DsdBalance()
374 if ( Gia_ObjIsAnd(pObj) ) in Dau_DsdToGia_rec()
380 if ( Gia_ObjIsAnd(Gia_ObjFanin0(pObj)) ) in Dau_DsdToGia_rec()
382 if ( Gia_ObjIsAnd(Gia_ObjFanin1(pObj)) ) in Dau_DsdToGia_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcUnroll.c169 if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ) in Unr_ManSetup_rec()
174 if ( Gia_ObjIsAnd(pObj) ) in Unr_ManSetup_rec()
243 if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ) in Unr_ManSetup()
245 if ( Gia_ObjIsAnd(pObj) ) in Unr_ManSetup()
266 if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ) in Unr_ManSetup()
272 if ( Gia_ObjIsAnd(pObj) ) in Unr_ManSetup()

1234567