Altera Mentor Verification IP Altera Edition AMBA AXI4-Stream - Manual (Page 208)

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3 208
Assertions
April 2014