Altera Mentor Verification IP Altera Edition AMBA AXI4-Lite - Manual (Page 384)

Mentor Verification IP AE AXI4-Lite User Guide, V10.3 384
AXI4-Lite Assertions
April 2014