Migrating VHDL/FPGA design of TUTGNSS baseband processing from an Altera FPGA device to a Xilinx FPGA device