6.2.2. Extension checks

Table 6.4 lists the extension checks performed by the protocol checker:

Table 6.4. Extension checks

Bus type(s)Description of checkAMBA3 APB Protocol SpecificationAMBA3 AHB-Lite Protocol SpecificationAMBA4 AXI and ACE Protocol Specification
AllThe amba_pv_extension pointer cannot be NULL.---
AllThe size of any transfer must not exceed the bus width of the sockets in the transaction.-Section 3.4 “Transfer size”.Section A3.4.1 “Burst size”.
APB, AXI4-LiteThe size of any transfer must equal the bus width of the sockets in the transaction.Section 4.1 “AMBA 3 APB signals”.-Section B1.1.1 “AXI4 signals not supported in AXI4-Lite”.
AHB, AXI3, AXI4, ACE-LiteThe size of any transfer must be 1, 2, 4, 8, 16, 32, 64 or 128 bytes.-Section 3.4 “Transfer size”.Section A3.4.1 “Burst size”.
APB, AXI4-LiteAll transactions are single transfers.Section 4.1 “AMBA 3 APB signals”.-Section B1.1.1 “AXI4 signals not supported in AXI4-Lite”.
AHBA transaction of burst type WRAP must have a length of 4, 8 or 16.-Section 3.5 “Burst operation”.-
AHBA burst must have a type INCR or WRAP.-Section 3.5 “Burst operation”.-
AXI3, AXI4, ACE-LiteA transaction of burst type WRAP must have a length of 2, 4, 8 or 16.--Section A3.4.1 “Burst length”.
AXI3A transaction can have a burst length 1-16.--Section A3.4.1 “Burst length”.
AXI4, ACE-LiteA transaction can have a burst length 1-256.--Section A3.4.1 “Burst length”.
APB, AHB, AXI3Quality of Service values are not supported.Section 4.1 “AMBA 3 APB signals”.Section 2.2 “Master signals”.Section A8 “AXI4 Additional Signalling”.
APB, AHB, AXI3Region values are not supported.Section 4.1 “AMBA 3 APB signals”.Section 2.2 “Master signals”.Section A8 “AXI4 Additional Signalling”.
AXI4, ACE-LiteQuality of Service values can be 0-15.--Section A8.1.1 “QoS interface signals”.
AXI4, ACE-LiteRegion values can be 0-15.--Section A8.2.1 “Additional interface signals”.

Copyright © 2009-2013 ARM. All rights reserved.ARM DUI 0455H
Non-ConfidentialID112213