Searched refs:MemGia (Results 1 – 7 of 7) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absRef.c | 291 …double MemGia = sizeof(Gia_Man_t) + sizeof(Gia_Obj_t) * p->pGia->nObjsAlloc + sizeof(int) * p->pGi… in Rnm_ManStop() local
301 p->nCalls, 1.0*p->nRefines/p->nCalls, MemGia/(1<<20), MemOther/(1<<20) ); in Rnm_ManStop()
|
| H A D | absRefJ.c | 231 …double MemGia = sizeof(Gia_Man_t) + sizeof(Gia_Obj_t) * p->pGia->nObjsAlloc + sizeof(int) * p->pGi… in Rf2_ManStop() local
241 p->nCalls, 1.0*p->nRefines/p->nCalls, MemGia/(1<<20), MemOther/(1<<20) ); in Rf2_ManStop()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaPf.c | 940 float MemGia = Gia_ManMemory(p->pGia) / (1<<20); in Pf_ManPrintQuit() local
956 printf( "Gia = %.2f MB ", MemGia ); in Pf_ManPrintQuit()
960 printf( "Total = %.2f MB ", MemGia + MemMan + MemCuts + MemTt ); in Pf_ManPrintQuit()
|
| H A D | giaOf.c | 842 float MemGia = Gia_ManMemory(p->pGia) / (1<<20); in Of_ManPrintQuit() local
858 printf( "Gia = %.2f MB ", MemGia ); in Of_ManPrintQuit()
863 printf( "Total = %.2f MB ", MemGia + MemMan + MemCuts + MemTt ); in Of_ManPrintQuit()
|
| H A D | giaMf.c | 1492 float MemGia = Gia_ManMemory(p->pGia) / (1<<20); in Mf_ManPrintQuit() local
1506 printf( "Gia = %.2f MB ", MemGia ); in Mf_ManPrintQuit()
1511 printf( "Total = %.2f MB", MemGia + MemMan + MemCuts + MemMap + MemTt ); in Mf_ManPrintQuit()
|
| H A D | giaNf.c | 1020 float MemGia = Gia_ManMemory(p->pGia) / (1<<20); in Nf_ManPrintQuit() local
1036 printf( "Gia = %.2f MB ", MemGia ); in Nf_ManPrintQuit()
1040 printf( "Total = %.2f MB ", MemGia + MemMan + MemCuts + MemTt ); in Nf_ManPrintQuit()
|
| H A D | giaLf.c | 2087 float MemGia = Gia_ManMemory(p->pGia) / (1<<20); in Lf_ManPrintQuit() local
2111 printf( "Gia = %.2f MB ", MemGia ); in Lf_ManPrintQuit()
2117 printf( "Total = %.2f MB", MemGia + MemMan + MemCutsB + MemCutsF + MemMap + MemTt ); in Lf_ManPrintQuit()
|