Use ECP5 JTAG port to interact with user design - View it on GitHub