Searched refs:Gia_ManHasCellMapping (Results 1 – 3 of 3) sorted by relevance
1104 static inline int Gia_ManHasCellMapping( Gia_Man_t * p ) { return p->vCellMappin… in Gia_ManHasCellMapping() function
945 assert( Gia_ManHasCellMapping(p) ); in Abc_NtkFromCellMappedGia()
30356 else if ( Gia_ManHasCellMapping(pAbc->pGia) ) in Abc_CommandAbc9Put()