AMD OpenNIC Shell includes the HDL source files - View it on GitHub