C and Verilog sources for STM32F303 + iCE5LP4K Software Defined Radio - View it on GitHub