Seek out existing (non-streaming) Wishbone Master and Slave Bus implementations (or implement them if necessary, or convert from AXI4 protocol), provide formal proof unit tests of their correctness, and add additional example peripherals. See https://github.com/cocotb/cocotb/pull/439 in particular