4.8. Internal logic checks

Table 4.8 lists the internal logic checks.

Table 4.8. Internal logic checks

AssertionDescriptionSpecification Reference
AXI_AUXM_DATA_WIDTHDATA_WIDTH parameter is 32, 64, 128, 256, 512, or 1 024.-
AXI_AUXM_RCAM_OVERFLOWRead CAM overflow, increase MAXRBURSTS parameter.-
AXI_AUXM_RCAM_UNDERFLOWRead CAM underflow.-
AXI_AUXM_WCAM_OVERFLOWWrite CAM overflow, increase MAXWBURSTS parameter.-
AXI_AUXM_WCAM_UNDERFLOWWrite CAM underflow.-
AXI_AUXM_ADDR_WIDTHParameter ADDR_WIDTH must be between 32 bits and 64 bits inclusive.-
AXI_AUXM_AWUSER_WIDTHParameter AWUSER_WIDTH must be greater than or equal to 1.-
AXI_AUXM_WUSER_WIDTHParameter WUSER_WIDTH must be greater than or equal to 1.-
AXI_AUXM_BUSER_WIDTHParameter BUSER_WIDTH must be greater than or equal to 1.-
AXI_AUXM_ARUSER_WIDTHParameter ARUSER_WIDTH must be greater than or equal to 1.-
AXI_AUXM_RUSER_WIDTHParameter RUSER_WIDTH must be greater than or equal to 1.-
AXI_AUXM_EXMON_WIDTHParameter EXMON_WIDTH must be greater than or equal to 1.-
AXI_AUXM_ID_WIDTHParameter ID_WIDTH must be greater than or equal to 1.-
AXI_AUXM_WDEPTHParameter WDEPTH must be greater than or equal to 1.-
AXI_AUXM_MAXRBURSTSParameter MAXRBURSTS must be greater than or equal to 1.-
AXI_AUXM_MAXWBURSTSParameter MAXWBURSTS must be greater than or equal to 1.-
AXI_AUXM_EXCL_OVERFLOWExclusive access monitor overflow, increase EXMON_WIDTH parameter.-

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