Hello! Where can I find documentation that describes the wishbone bus that comes into user_proj_wrapper.v for the caravel design?

Wishbone bus is an open source design, so they have their own documentation websites, you can check google for that. But I'm not sure about programming them inside the caravel firmware.

ah, i'll look into it. Thanks!