These Verilog designs accompany Input Output, chapter 6 of Building Isle. See also: Chapter 6 Software.
See boards for build and programming instructions. See Serial to Isle for advice on connecting to Isle UART via USB.
The chapter 6 design uses the following Verilog modules:
book/ch06/ch06.vcpu/FemtoRV32.vdevs/gfx_dev.vdevs/sys_dev.vdevs/uart_dev.vgfx/display.vgfx/font_glyph.vgfx/textmode.vgfx/tmds_encoder.v(not used by Verilator sim)io/uart_rx.vmath/lfsr.vmem/clut.vmem/fifo_sync.vmem/rom_sync.vmem/sysram.vmem/tram.vsys/xd.v
Each board has its own top module plus relevant architecture-specific modules under arch/ecp5 and arch/xc7; check board make/build files for details.