Complete AXI Write Transaction

This assertion tracks the progress of a complete AXI write transaction. It will have the following general structure:

• Initiated on AWVALID & AWREADY,
• Check for (ARLEN+1) data beats with matching WID,
• Check for WLAST on last write transaction, and
• Check for write response (BVALID & BREADY)

The waveform generated for the assertion can be viewed here.

NOTE: This assertion does not account for overlapping use of ID's where a second write address is issued using the same AWID before the first has completed.