Searched refs:Gia_ManEquivFixOutputPairs (Results 1 – 3 of 3) sorted by relevance
343 Gia_ManEquivFixOutputPairs( p ); in Cec_ManVerify()381 Gia_ManEquivFixOutputPairs( p ); in Cec_ManVerify()
820 void Gia_ManEquivFixOutputPairs( Gia_Man_t * p ) in Gia_ManEquivFixOutputPairs() function986 Gia_ManEquivFixOutputPairs( pNew ); in Gia_ManEquivReduceAndRemap()
1362 extern void Gia_ManEquivFixOutputPairs( Gia_Man_t * p );