Searched refs:Gia_ManFindMapping (Results 1 – 1 of 1) sorted by relevance
605 Vec_Int_t * Gia_ManFindMapping( Gia_Man_t * p, Vec_Int_t * vFadds, Vec_Int_t * vMap, Vec_Wec_t * vC… in Gia_ManFindMapping() function823 vMap2Chain = Gia_ManFindMapping( p, vFadds, vMap, vChains ); in Gia_ManDupWithNaturalBoxes()