HDL sources for the easyfpga-sdk