Has anyone succeeded to build a firmware file for caravel firmware on GF180MCU? I am having troubles with it: https://github.com/efabless/caravel_user_project/issues/233 And I have been looking through the GitHubs of approximately 20 GF180 submissions, but I couldn't find any simulations there.

The openlane team switched to cocotb; there's a

cocotb

directory where you should be able to find the tests with firmware for caravel. It's not my preference, and I'm annoyed because I can no longer run the simulations from the

verilog/dv/

directory. . . seems like it now has to be done with cocotb or else it doesn't work.

I had just switched to sky130 for the verification tests and finally got verilog/dv running there, I'l look into cocotb later. I guess you just have to enhance the Makefile in the verilog/dv/... directory with a proper target to be able to run it from there again? I liked the old verilog/dv/ way too, I just never got it running properly even with Sky130 back then. Hmm, I can't find a cocotb directory anywhere.

No idea. You'd have to ask the openlane developers.