PSoC and Radio Power Supplies

Hello All,

I apologize if this question has already been answered, but I couldn’t find it. What are the PSoC Vdd, Vddd, Vdda, vddiox, and Semtech radio chip power supply pins connected to. Is the module Vdd (pin 13) directly connected to all these?

Also, would it be possible to get a schematic that shows the more important connections inside the module?