So I came back to the FPGA satellite demodulation thing and seems like using the WIP #amaranthhdl fixed-point library improved things a lot. I still need to do the Gardner synchronizer, but Costas loop seems to lock much more realistically. Didn’t test with a more reasonable Meteor-M4 baseband recording yet.