Searched refs:Gia_ObjTerSimRo (Results 1 – 8 of 8) sorted by relevance
150 Gia_ObjTerSimRo( pAbs, pObj ); in Gia_ManGlaRefine()
652 Gia_ObjTerSimRo( p, pObj ); in Rnm_ManVerifyUsingTerSim()
423 Gia_ObjTerSimRo( p, pObj ); in Rf2_ManVerifyUsingTerSim()
467 Gia_ObjTerSimRo( p->pGia, pObj ); in Gla_ManVerifyUsingTerSim()
74 Gia_ObjTerSimRo( p, pObj ); in Bmc_CexCareExtendToObjects()
367 Gia_ObjTerSimRo( p, pObj ); in Bmc_CexVerify()
1950 Gia_ObjTerSimRo( p, pObj ); in Gia_ManPoXSim()
942 static inline void Gia_ObjTerSimRo( Gia_Man_t * p, Gia_Obj_t * pObj ) in Gia_ObjTerSimRo() function