/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSpeedup.c | 58 for ( i = 0; i < Gia_ObjLutSize(p, iObj)-1; i++ ) in Gia_LutDelayTraceSortPins() 61 for ( j = i+1; j < Gia_ObjLutSize(p, iObj); j++ ) in Gia_LutDelayTraceSortPins() 71 assert( Gia_ObjLutSize(p, iObj) == 0 || pPinPerm[0] < Gia_ObjLutSize(p, iObj) ); in Gia_LutDelayTraceSortPins() 72 for ( i = 1; i < Gia_ObjLutSize(p, iObj); i++ ) in Gia_LutDelayTraceSortPins() 74 assert( pPinPerm[i] < Gia_ObjLutSize(p, iObj) ); in Gia_LutDelayTraceSortPins() 93 for ( i = 0; i < Gia_ObjLutSize(p, iFanout); i++ ) in Gia_LutWhereIsPin() 131 pDelays = pLutLib->pLutDelays[Gia_ObjLutSize(p, iObj)]; in Gia_ObjComputeArrival() 138 pDelays = pLutLib->pLutDelays[Gia_ObjLutSize(p, iObj)]; in Gia_ObjComputeArrival() 153 if ( Gia_ObjLutSize(p, iObj) == 0 ) in Gia_ObjComputeArrival() 187 pDelays = pLutLib->pLutDelays[Gia_ObjLutSize(p, iObj)]; in Gia_ObjPropagateRequired() [all …]
|
H A D | giaAigerExt.c | 178 nItems += 2 + Gia_ObjLutSize( p, i ); in Gia_AigerWriteMappingInt() 185 iPos = Gia_AigerWriteUnsignedBuffer( pBuffer, iPos, Gia_ObjLutSize(p, i) ); in Gia_AigerWriteMappingInt() 274 nSize += Gia_ObjLutSize(p, i) + 2; in Gia_AigerWriteMappingDoc() 275 LutSize = Abc_MaxInt( LutSize, Gia_ObjLutSize(p, i) ); in Gia_AigerWriteMappingDoc() 283 Gia_AigerWriteInt( pBuffer + 4 * nSize2++, Gia_ObjLutSize(p, i) ); in Gia_AigerWriteMappingDoc()
|
H A D | giaIf.c | 110 Counter += Gia_ObjLutSize(p, i); in Gia_ManLutFaninCount() 211 (*pnCurEdges) += Gia_ObjLutSize(p, i); in Gia_ManLutParams() 226 (*pnCurEdges) += Gia_ObjLutSize(p, i); in Gia_ManLutParams() 409 if ( Gia_ObjLutSize(p, i) == 3 ) in Gia_ManCountDupLut() 425 else if ( Gia_ObjLutSize(p, i) == 2 ) in Gia_ManCountDupLut() 466 if ( Gia_ObjLutSize(p, i) == 3 ) in Gia_ManPrintMappingStats() 473 else if ( Gia_ObjLutSize(p, i) == 2 ) in Gia_ManPrintMappingStats() 485 nFanins += Gia_ObjLutSize(p, i); in Gia_ManPrintMappingStats() 654 pCounts[ Gia_ObjLutSize(p, i) ]++; in Gia_ManPrintLutStats() 2508 nFanins = Gia_ObjLutSize(p, i); in Gia_ManTestStruct() [all …]
|
H A D | giaShrink7.c | 164 nTotal += Gia_ObjLutSize(p->pGia, i) * (Gia_ObjLutSize(p->pGia, i) - 1) / 2; in Unm_ManComputePairs()
|
H A D | giaIff.c | 151 assert( i == Gia_ObjLutSize(p->pGia, iObj) ); in Gia_IffObjTimeOne() 252 arrTime1 += p->pLib->pLutDelays[Gia_ObjLutSize(pGia, iObj)][0]; in Gia_ManIffPerform()
|
H A D | giaFx.c | 151 vLeaves.nCap = vLeaves.nSize = Gia_ObjLutSize( p, i ); in Gia_ManComputeTruths() 210 int nVars = Gia_ObjLutSize( p, i ); in Gia_ManFxRetrieve()
|
H A D | giaPack.c | 137 nSize = Gia_ObjLutSize( p, Id ); in Gia_ManLutPacking()
|
H A D | giaMfs.c | 102 Vec_IntGrow( vArray, Gia_ObjLutSize(p, Id) ); in Gia_ManExtractMfs() 110 assert( Vec_IntSize(vLeaves) == Gia_ObjLutSize(p, Id) ); in Gia_ManExtractMfs()
|
H A D | giaEdge.c | 182 assert( Gia_ObjLutSize(p, iObj) <= 4 ); in Gia_ObjEvalEdgeDelay() 310 assert( Gia_ObjLutSize(p, iObj) <= 4 ); in Gia_ObjComputeEdgeDelay() 667 assert( Gia_ObjLutSize(p, iObj) <= 4 ); in Edg_ManToMapping()
|
H A D | giaMini.c | 337 assert( Vec_IntSize(vLeaves) == Gia_ObjLutSize(pGia, i) ); in Gia_ManToMiniLut() 348 pObj->Value = Mini_LutCreateNode( p, Gia_ObjLutSize(pGia, i), pVars, (unsigned *)pTruth ); in Gia_ManToMiniLut()
|
H A D | giaSatLE.c | 569 nFanins = Gia_ObjLutSize( p->pGia, iObj ); in Sle_ManDeriveInit() 913 int k, nFanins = Gia_ObjLutSize( p->pGia, iObj ); in Sle_ManDeriveResult()
|
H A D | giaUtil.c | 2086 if ( Gia_ObjLutSize(p, i) > 0 && Gia_ObjLutSize(p, i) < 10 ) in Gia_DumpLutSizeDistrib() 2087 Counts[ Gia_ObjLutSize(p, i) ]++; in Gia_DumpLutSizeDistrib()
|
H A D | gia.h | 1090 static inline int Gia_ObjLutSize( Gia_Man_t * p, int Id ) { return Vec_IntEntry(p… in Gia_ObjLutSize() function 1093 …d( Gia_Man_t * p, int Id ) { return Gia_ObjLutFanins(p, Id)[Gia_ObjLutSize(p, Id)]; … in Gia_ObjLutMuxId() 1118 for ( k = 0; k < Gia_ObjLutSize(p,i) && ((iFan = Gia_ObjLutFanins(p,i)[k]),1); k++ ) 1120 …for ( k = 0; k < Gia_ObjLutSize(p,i) && ((pFanin = Gia_ManObj(p, Gia_ObjLutFanins(p,i)[k])),1); k+…
|
H A D | giaShow.c | 221 …_IntSize(p->vIdsOrig)?Vec_IntEntry(p->vIdsOrig,i):i, Gia_ObjIsAnd(pNode)?Gia_ObjLutSize(p, i):0 ); in Gia_ShowPath()
|
H A D | giaMan.c | 811 if ( Gia_ObjLutSize(p,i) > 4 ) in Gia_ManPrintNpnClasses()
|
H A D | giaLf.c | 2100 CountOver[Gia_ObjLutSize(pNew, i) > nLutSize]++; in Lf_ManPrintQuit()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcDar.c | 694 assert( Gia_ObjLutSize(p, GiaId) > 0 ); in Abc_ObjHopFromGia() 852 if ( Gia_ObjLutSize(p, i) == 0 ) in Abc_NtkFromMappedGia()
|