Searched refs:MemTt (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaPf.c | 943 float MemTt = p->vTtMem ? Vec_MemMemory(p->vTtMem) / (1<<20) : 0; in Pf_ManPrintQuit() local 959 printf( "TT = %.2f MB ", MemTt ); in Pf_ManPrintQuit() 960 printf( "Total = %.2f MB ", MemGia + MemMan + MemCuts + MemTt ); in Pf_ManPrintQuit()
|
H A D | giaOf.c | 845 float MemTt = p->vTtMem ? Vec_MemMemory(p->vTtMem) / (1<<20) : 0; in Of_ManPrintQuit() local 862 printf( "TT = %.2f MB ", MemTt ); in Of_ManPrintQuit() 863 printf( "Total = %.2f MB ", MemGia + MemMan + MemCuts + MemTt ); in Of_ManPrintQuit()
|
H A D | giaMf.c | 1495 float MemTt = p->vTtMem ? Vec_MemMemory(p->vTtMem) / (1<<20) : 0; in Mf_ManPrintQuit() local 1510 printf( "TT = %.2f MB ", MemTt ); in Mf_ManPrintQuit() 1511 printf( "Total = %.2f MB", MemGia + MemMan + MemCuts + MemMap + MemTt ); in Mf_ManPrintQuit()
|
H A D | giaNf.c | 1023 float MemTt = p->vTtMem ? Vec_MemMemory(p->vTtMem) / (1<<20) : 0; in Nf_ManPrintQuit() local 1039 printf( "TT = %.2f MB ", MemTt ); in Nf_ManPrintQuit() 1040 printf( "Total = %.2f MB ", MemGia + MemMan + MemCuts + MemTt ); in Nf_ManPrintQuit()
|
H A D | giaLf.c | 2091 float MemTt = p->vTtMem ? Vec_MemMemory(p->vTtMem) / (1<<20) : 0; in Lf_ManPrintQuit() local 2116 printf( "TT = %.2f MB ", MemTt ); in Lf_ManPrintQuit() 2117 printf( "Total = %.2f MB", MemGia + MemMan + MemCutsB + MemCutsF + MemMap + MemTt ); in Lf_ManPrintQuit()
|