My RISC-8B fpga softcore is compatible with `avr-gcc` and some of the 8-bit ATtiny85 peripherals. Verilog coming soon!