6.4.3 Extension checks

This section describes the extension checks performed by the protocol checker.

Table 6-4 Extension checks performed by the protocol checker

Bus types Description of check AMBA® APB Protocol Specification AMBA 3 AHB-Lite Protocol Specification AMBA 4 AXI and ACE Protocol Specification
All The amba_pv_extension pointer cannot be NULL. - - -
All The 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-Lite The size of any transfer must equal the bus width of the sockets in the transaction. Section 2.1 AMBA® APB signals - Section B1.1.1 AXI4 signals not supported in AXI4-Lite
AHB, AXI3, AXI4, ACE-Lite The 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-Lite All transactions are single transfers. Section 2.1 AMBA® APB signals - Section B1.1.1 AXI4 signals not supported in AXI4-Lite
AHB A transaction of burst type WRAP must have a length of 4, 8, or 16. - Section 3.5 Burst operation -
AHB A burst must have a type INCR or WRAP. - Section 3.5 Burst operation -
AXI3, AXI4, ACE-Lite A transaction of burst type WRAP must have a length of 2, 4, 8, or 16. - - Section A3.4.1 Burst length
AXI3 A transaction can have a burst length 1-16. - - Section A3.4.1 Burst length
AXI4, ACE-Lite A transaction can have a burst length 1-256. - - Section A3.4.1 Burst length
APB, AHB, AXI3 Quality of Service values are not supported. Section 2.1 AMBA® APB signals Section 2.2 Master signals Section A8 AXI4 Additional Signalling
APB, AHB, AXI3 Region values are not supported. Section 2.1 AMBA® APB signals Section 2.2 Master signals Section A8 AXI4 Additional Signalling
AXI4, ACE-Lite Quality of Service values can be 0-15. - - Section A8.1.1 QoS interface signals
AXI4, ACE-Lite Region values can be 0-15. - - Section A8.2.1 Additional interface signals
Non-ConfidentialPDF file icon PDF version100962_0200_03_en
Copyright © 2014–2018 Arm Limited (or its affiliates). All rights reserved.