A Flexible FPGA/DSP Board for GNSS Receivers Design