Introduction - If you have any usage issues, please Google them yourself
ModelSim or other support in the language Verilog simulation environment to compile available GPS P-code and code of satellite data after the modulation waveform, one for the source, and the other for the test procedure