@User Wow.

picorv32a

is down to 40 seconds now ! And the

vex

example I sent now takes 12 minutes (vs 21h yesterday !). Interestingly for the latter, the reading of the netlist seems to be the longest part ...