I was trying to run a chip-level verilog simulation of Caravan, using "verilog/rtl/caravan_netlists.v". There were a few problems I ran into along the way, but the only I can't work around in a missing implementation of mgmt_core_wrapper:
../caravel/verilog/rtl/caravan_netlists.v92 Include file mgmt_core_wrapper.v not found
As far as I can tell, mgmt_core_wrapper is not included in the mpw-5c tag of caravel. Is the rtl for it available anywhere?