https://github.com/SpinalHDL/VexRiscv is a great benchmark but is probably going to be too big for 2k LUT4s