Stabilization term needed for Chorin's method?

Hi,

I notice that in literature, there is such stabilization terms added for the unsteady Navier-Stokes Equation for the high Re convective flows. But the official FEniCS tutorial template) employs the incremental pressure correction method (IPCS) which does not contain a stabilization term.
Should I add the stabilization terms if I want to simulate high Re flows?
Or essentially the IPCS is stable itself?

It really confuses me. I have consulted several books, but still can not find an answer.

Thank you for your consideration!

Xin