Tom Verbeure

I do not: I have never used Litex. Maybe @Dolu1990 has an answer here.

> I think combining spinalHDL with Scala to construct hardware is great. It is not a must to do everything in native SpinalHDL. See my discussion with Dolu about this...

Quartus definitely supports $readmemh. Are you sure it doesn't support $readmemb as well? Tom

You need to use the custom VexRiscv version in of OpenOCD: https://github.com/SpinalHDL/openocd_riscv/blob/riscv_spinal/tcl/interface/jtag_tcp.cfg Tom

> Do you mean TCM for cache full or cache less VexRiscv configs ? I mean both are very different case, so i just want to know which one we...

> Got a two stages VexRiscv running zephyr and compliance tests :) Very nice work! FYI: Clifford Wolf checked in a riscv-formal change for a serial RISC-V CPU => super...

I was coincidentally looking at this yesterday as well. When you read the paper where the automata was introduced (in 2003), the performance improvement can be significant in some cases...

> I guess that the OpenOCD configurations to connect to USB Blaster and the board might be not correct, but I am not sure how to configure it correctly. Do...

Nice find! The number of changes that are specific to virtual JTAG are very reasonable: https://github.com/koyamanX/riscv-openocd/commit/ad03470a2b4d3f0fadd9e1944445ac9193487d37. Tom

I haven't looked at this any further and I'm not planning to in the near future. Have a go at it!