/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
H A D | acecBo.c | 64 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 D | acecStruct.c | 111 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 D | giaMffc.c | 99 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 D | giaDfs.c | 55 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 D | giaSat.c | 120 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 D | giaUtil.c | 348 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 D | giaTruth.c | 108 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 D | giaEnable.c | 53 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 D | giaIso3.c | 51 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 D | giaRetime.c | 57 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 D | giaBalMap.c | 52 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 D | giaFalse.c | 100 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 D | giaScl.c | 52 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 D | giaPat.c | 52 if ( Gia_ObjIsAnd(pObj) ) in Gia_SatCollectCone_rec() 110 assert( Gia_ObjIsAnd(pObj) ); in Gia_SatVerifyPattern()
|
H A D | giaHash.c | 348 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 D | giaSweep.c | 55 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 D | giaCCof.c | 126 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 D | absRpm.c | 105 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 D | absRefJ.c | 160 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 D | absRef.c | 115 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 D | absDup.c | 48 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 D | abcRec3.c | 168 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 D | cecPat.c | 151 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 D | dauGia.c | 264 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 D | bmcUnroll.c | 169 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()
|