Let $f$ be a morphism between schemes. Is there a sufficient and necessary condition on $f$ such that $f_*$ commutes with $\otimes$? i.e. $$f_*F\otimes f_*G\cong f_*(F\otimes G)$$ for all coherent sheaves $F,G$.
In particular, I want to know that is it true for $f$ proper.