Your correction should work(but I did not try yet).
And the same correction can be applied for err_o signal generation as well.

Best Regards,
Tiksan

Good job, this is very helpfull.

I got an error with your slave interface asserting “ack_o” and “rty_o” during the same cycle.

(this is not allowed : rule 3.45)

A suggested correction in wshsb_s.sv line 166:

end else if((this.rtyNum != rtyCnt) && (this.tr.address == this.rtyAddr)) begin
this.ifc.cb_n.rty_o <= 1'b1;
this.ifc.cb_n.ack_o <= 1'b0;
rtyCnt++;
end else begin

Thank you very much for informing me about Wishbone B4.
I will find the time to implement this new version.
Bests Tiksan.

Thanks for your works for “Wishbone Verification IP”.
It is very helpful for me.

How about to support Wishbone B4 version that
contains pipeline transfer hand-shaking?