@User Yes you are correct, and this is going to change in the next release. But for now if you want to simulate you can add the includes in

mgmt_core_wrapper/verilog/include.rtl.caravel_user_project

. There's also a documentation update.