I posted a question here "Simulation of signal modulation in Vivado VHDL"
At the end we discussed a doubt with the function to_signed.`User po.pe g
to_signed