Speeding up FPGA Prototyping on Space Programs with HLS Workflow. Use Case: Video Compression On-board Satellites | IEEE Conference Publication | IEEE Xplore