Chapter 4. Assertion Descriptions

This chapter describes the protocol checker assertions and indicates the area of the AMBA AXI Protocol v1.0 Specification that they apply to. It contains the following sections:

Copyright © 2005, 2006, 2009 ARM. All rights reserved.ARM DUI 0305C
Non-Confidential