AMBA 4 ACE and ACE-Lite Protocol Checkers User GuideRevision: r0p1
Home > ACE and ACE-Lite Protocol Assertion Descriptions > ACE AC channel

4.10. ACE AC channel

Table 4.10 shows the ACE AC channel protocol rules.

Table 4.10. ACE AC channel

AssertionDescriptionAMBA AXI and ACE Protocol Specification reference
ACE_ERRS_ACVALID_STABLEWhen ACVALID is asserted, it must remain asserted until ACREADY is assertedC2.3.3
ACE_ERRS_ACADDR_STABLEAC payload signals must remain stable while ACVALID is asserted, and ACREADY is de-assertedC3.6.2
ACE_ERRS_ACSNOOP_STABLEACSNOOP must be stable when ACVALID is assertedC3.6.2
ACE_ERRS_ACPROT_STABLEACPROT must be stable when ACVALID is assertedC3.6.2
ACE_ERRS_ACADDR_XA value of X on ACADDR is not permitted when ACVALID is HIGHC3.6.2
ACE_ERRS_ACSNOOP_XA value of X on ACSNOOP is not permitted when ACVALID is HIGHC3.6.2
ACE_ERRS_ACPROT_XA value of X on ACPROT is not permitted when ACVALID is HIGHC3.6.2
ACE_ERRS_ACVALID_XWhen not in reset, a value of X on ACVALID is not permittedC2.3.3
ACE_ERRM_ACREADY_XWhen not in reset, a value of X on ACREADY is not permittedC2.3.3
ACE_ERRS_ACSNOOPWhen ACVALID is asserted, ACSNOOP must be one of the legal valuesTable C3-19
ACE_ERRS_AC_ALIGNWhen ACVALID is asserted, ACADDR must be data width-alignedC3.6.2
ACE_RECM_ACREADY_MAX_WAITACREADY should be asserted within MAXWAITS cycles of ACVALID being asserted-

Copyright © 2011-2012 ARM. All rights reserved.ARM DUI 0576B
Non-ConfidentialID042812
PDF file icon  PDF version
Home > ACE and ACE-Lite Protocol Assertion Descriptions > ACE AC channel