I am not sure, but if I remember right Intel uses a VIPT (virtual index physical tagged) cache, I would like to know the reason of this choice, why is it better than VIVT or PIPT, what advantages does it procure and maybe what disadvantages. Thank you.
The exact design decisions are probably not published, but in general the benefits for VIPT are :