Dan Gisselquist

Thank you for the work you've put into this, and your willingness/desire to share back. Please allow for the following critiques: 1. Regarding the default_nettype. If I understand correct, the...

Well, sort of ... WB pipeline is much more capable than that. STALL should be high if you aren't ready to accept a new transfer. ACK should go high when...

Awesome! Please keep me posted.

Just writing back to see the status of this. Looks like I missed the "final version" comment. Should I test this and merge it then? Dan

The nothing is selected slave decoding is handled in [the next block down](https://github.com/ZipCPU/wb2axip/blob/c36b2a8db311a05eec7a47fe5a3df5f86d960886/rtl/addrdecode.v#L177). The logic you are pointing out is the decoding logic for everything else. What makes address 0...

> Is there any *practical* reason you obey to this additional rule? Yes, there is. I haven't figured out how to formally verify an interface where the write data arrives...

Thinking about this some more ... 1. As mentioned above, W data before AW makes no sense, unless you know how to set WLAST. WLAST depends on AWLEN, and that...

> Verifying an IP where AW channel and W channel are not synchronous. This problem can also be solved by using FIFOs, which resynchronize the signals at the output. I've...

> I do this all the time Do you formally verify your IP all the time? The problems listed above are specific to formal verification. They are not necessarily problems...

Thank you! While `defparam` may be the "cleanest" way, it is not a viable option. SV 2012 suggests deprecating `defparam` support, and many newer tools don't support it at all....