Yes, see Syntacore's SCR1, Clifford Wolf's PicoRV32,etc. Granted these are smaller, microcontroller-class cores, but still in pure Verilog. I'm sure there are

Yes, see Syntacore's SCR1, Clifford Wolf's PicoRV32,etc. Granted these are smaller, microcontroller-class cores, but still in pure Verilog. I'm sure there are others out there with more/less performance