| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcHieGia.c | 225 if ( Gia_ObjIsBuf(pObj) || Gia_ObjIsCo(pObj) ) in Gia_ManPrintBarBufDrivers()
233 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManPrintBarBufDrivers()
248 assert( Gia_ObjIsBuf(pObj) ); in Gia_ManPrintBarBufDrivers()
275 assert( Gia_ObjIsBuf(pObjBuf) ); in Gia_ManPatchBufDriver()
307 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManSweepHierarchy()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaScl.c | 53 assert( !Gia_ObjIsBuf(pObj) ); in Gia_ManCombMarkUsed_rec()
65 pObj->fMark0 = Gia_ObjIsAnd(pObj) && !Gia_ObjIsBuf(pObj); in Gia_ManCombMarkUsed()
|
| H A D | giaJf.c | 255 if ( Gia_ObjIsBuf(pObj) ) in Jf_ManInitRefs()
315 if ( !Gia_ObjIsBuf(pObj) && Gia_ObjRefNumId(p->pGia, i) ) in Jf_ManProfileClasses()
1105 assert( Gia_ObjIsCi(pObj) || Gia_ObjIsBuf(pObj) ); in Jf_ObjAssignCut()
1113 assert( Gia_ObjIsBuf(pObj) ); in Jf_ObjPropagateBuf()
1252 if ( Gia_ObjIsCi(pObj) || Gia_ObjIsBuf(pObj) ) in Jf_ManComputeCuts()
1254 if ( Gia_ObjIsBuf(pObj) ) in Jf_ManComputeCuts()
1296 if ( Gia_ObjIsBuf(pObj) ) in Jf_ManComputeDelay()
1319 if ( Gia_ObjIsCo(pObj) || Gia_ObjIsBuf(pObj) ) in Jf_ManComputeRefs()
1386 if ( Gia_ObjIsBuf(pObj) ) in Jf_ManPropagateFlow()
1398 if ( Gia_ObjIsBuf(pObj) ) in Jf_ManPropagateEla()
[all …]
|
| H A D | giaOf.c | 698 assert( !Gia_ObjIsBuf(pObj) ); in Of_ObjMergeOrder()
784 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeCuts()
793 if ( !Gia_ObjIsBuf(pObj) ) in Of_ManComputeCuts()
1040 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeForward1()
1129 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeForward2()
1177 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeBackward1()
1225 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeBackward2()
1254 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeBackward3()
1401 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeForwardDircon1()
1426 if ( Gia_ObjIsBuf(pObj) ) in Of_ManComputeBackwardDircon1()
[all …]
|
| H A D | giaLf.c | 164 if ( Gia_ObjIsBuf(pDriver) ) in Lf_ObjArrival_rec()
185 if ( Gia_ObjIsBuf(pDriver) ) in Lf_ObjCoArrival2_rec()
1205 assert( !Gia_ObjIsBuf(pObj) ); in Lf_ObjMergeOrder()
1422 if ( Gia_ObjIsBuf(pObj) ) in Lf_ManSetFlowRefs()
1456 if ( Gia_ObjIsBuf(pObj) ) in Lf_ManSetCutRefs()
1562 if ( Gia_ObjIsBuf(pObj) ) in Lf_ManSetMapRefs()
1594 if ( Gia_ObjIsBuf(pObj) ) in Lf_ManSetMapRefs()
1666 if ( Gia_ObjIsBuf(pObj) ) in Lf_ManCountMapRefs()
1688 if ( Gia_ObjIsBuf(pObj) ) in Lf_ManCountMapRefs()
1756 if ( Gia_ObjIsBuf(pObj) ) in Lf_ManDeriveMappingCoarse()
[all …]
|
| H A D | giaUtil.c | 513 if ( !p->fGiaSimple && Gia_ObjIsBuf(pObj) ) in Gia_ManLevelNum()
615 else if ( Gia_ObjIsBuf(pObj) ) in Gia_ManReverseLevel()
697 if ( !Gia_ObjIsBuf(pObj) ) in Gia_ManCreateValueRefs()
727 if ( !Gia_ObjIsBuf(pObj) ) in Gia_ManCreateRefs()
908 if ( !Gia_ObjIsAnd(pNode) || Gia_ObjIsBuf(pNode) ) in Gia_ObjIsMuxType()
942 if ( !Gia_ObjIsAnd(pObj) || Gia_ObjIsBuf(pObj) ) in Gia_ObjRecognizeExor()
|
| H A D | giaNf.c | 870 assert( !Gia_ObjIsBuf(pObj) ); in Nf_ObjMergeOrder()
961 if ( Gia_ObjIsBuf(pObj) ) in Nf_ManComputeCuts()
1212 assert( Gia_ObjIsBuf(pObj) ); in Nf_ObjPrepareBuf()
1389 if ( Gia_ObjIsBuf(pObj) ) in Nf_ManComputeMapping()
1546 if ( Gia_ObjIsBuf(pObj) ) in Nf_ManSetMapRefs()
1865 if ( Gia_ObjIsBuf(pObj) ) in Nf_ManResetMatches()
1958 if ( Gia_ObjIsBuf(pObj) ) in Nf_ManComputeMappingEla()
2084 if ( Gia_ObjIsBuf(pObj) ) in Nf_ManDeriveMapping()
2124 if ( Gia_ObjIsBuf(pObj) ) in Nf_ManUpdateStats()
|
| H A D | giaMuxes.c | 121 else if ( Gia_ObjIsBuf(pObj) ) in Gia_ManDupMuxes()
178 else if ( Gia_ObjIsBuf(pObj) ) in Gia_ManDupNoMuxes()
255 else if ( Gia_ObjIsBuf(pObj) ) in Gia_ManMuxRestructure()
|
| H A D | giaTim.c | 176 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManDupNormalize()
269 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManOrderWithBoxes_rec()
400 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManDupUnnormalize()
|
| H A D | giaFanout.c | 264 if ( Gia_ObjIsAnd(pObj) && !Gia_ObjIsBuf(pObj) ) in Gia_ManStaticFanoutStart()
|
| H A D | giaBalAig.c | 287 assert( !Gia_ObjIsBuf(pObj) ); in Gia_ManBalanceGate()
347 assert( !Gia_ObjIsBuf(pObj) ); in Gia_ManBalance_rec()
518 if ( Gia_ObjIsBuf(pObj) ) in Dam_ManCollectSets_rec()
|
| H A D | giaPf.c | 791 assert( !Gia_ObjIsBuf(pObj) ); in Pf_ObjMergeOrder()
882 if ( Gia_ObjIsBuf(pObj) ) in Pf_ManComputeCuts()
|
| H A D | giaKf.c | 917 if ( Gia_ObjIsCo(pObj) || Gia_ObjIsBuf(pObj) )
1273 if ( Gia_ObjIsBuf(pObj) || Gia_ObjRefNum(p->pGia, pObj) == 0 )
|
| H A D | giaScript.c | 288 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManDupFromBarBufs()
|
| H A D | giaCut.c | 496 assert( !Gia_ObjIsBuf(pObj) ); in Gia_StoMergeCuts()
|
| H A D | gia.h | 488 static inline int Gia_ObjIsBuf( Gia_Obj_t * pObj ) { return pObj->iDiff… in Gia_ObjIsBuf() function
578 …tGateLevel( Gia_Man_t * p, Gia_Obj_t * pObj ){ if ( !p->fGiaSimple && Gia_ObjIsBuf(pObj) ) Gia_Obj… in Gia_ObjSetGateLevel()
1159 …nObjs; (i < p->nObjs) && ((pObj) = Gia_ManObj(p, i)); i++ ) if ( !Gia_ObjIsBuf(pObj) ) {} else
1161 …for ( i = 0; (i < p->nObjs); i++ ) if ( !Gia_ObjIsBuf(Gia_ManO…
|
| H A D | giaDup.c | 704 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManDup()
1294 assert( !Gia_ObjIsBuf(pObj) ); in Gia_ManDupMarked()
1298 if ( Gia_ObjIsBuf(pObj) ) in Gia_ManDupMarked()
1339 assert( !Gia_ObjIsBuf(pObj) ); in Gia_ManDupMarked()
1358 assert( !Gia_ObjIsBuf(pObj) ); in Gia_ManDupMarked()
|
| H A D | giaShow.c | 579 if ( !Gia_ObjIsAnd(pNode) && !Gia_ObjIsCo(pNode) && !Gia_ObjIsBuf(pNode) ) in Gia_WriteDotAigSimple()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/ |
| H A D | bacBlast.c | 286 if ( Gia_ObjIsBuf(pObj) ) in Bac_ManMarkNodesGia()
347 if ( Gia_ObjIsBuf(pObj) ) in Bac_NtkInsertGia()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
| H A D | dauGia.c | 531 if ( Gia_ObjIsBuf(pObj) ) in Dsm_ManDeriveGia()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/ |
| H A D | acec2Mult.c | 740 assert( !Gia_ObjIsBuf(pObj) ); in Sdb_StoMergeCuts()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdCut.c | 610 assert( !Gia_ObjIsBuf(pObj) ); in Sbd_StoMergeCuts()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTune.c | 859 if ( Gia_ObjIsBuf(pObj) ) in If_ManDeriveGiaFromCells()
|