We are running a survey to help us improve the experience for all of our members. If you see the survey appear, please take the time to tell us about your experience if you can.
Hi,
I'm trying to add some checks for AXI5 / AXI5 -Lite protocol.
When Untranslated Transaction is TRUE, do all of the signals
A[R/W]MMUSECSID
A[R/W]MMUSID
A[R/W]MMUSSIDV
A[R/W]MMUSSID
A[R/W]MMUATST
need to be defined and used together.
For example, if I didn't have the ARMMUSECSID and AWMMUSECSID defined in the AXI5 protocol would the protocol still work correctly ?
Basically, once Untranslated Transaction is defined to be TRUE , do all of the A*MMU* signals need to be defined together ?
(FALSE) None or (TRUE) ALL signals.
And similarly for AXI5-Lite AWSTASH* signals.
If Cache_Stash_Transactions is TRUE, do all AWSTASH* signals need to be defined on the AXI5-Lite protocol ?
One cannot leave out one of the signals from the set {AWSTASHID, AWSTASHIDEN, AWSTASHLPID, AWSTASHLPIDEN}.
Thanks,
David
armchronos said:Basically, once Untranslated Transaction is defined to be TRUE , do all of the A*MMU* signals need to be defined together ?
This is partially described in E2.12.2 and Table F2-2 in the AMBA Specifications.
In general, the AxMMU* signals are optional if the Untranslated_Transactions property is defined, and not allowed if the property is not defined. The exceptions are:
"All signals are optional with defined default values, with the restrictions:
• ARMMUSSID and ARMMUSSIDV must either be both present or both absent.
• AWMMUSSID and AWMMUSSIDV must either be both present or both absent."
armchronos said:If Cache_Stash_Transactions is TRUE, do all AWSTASH* signals need to be defined on the AXI5-Lite protocol ?
Information can be found in E2.2.2.
"The following rules apply to the AW channel signaling associated with the Cache_Stash_Transactions property:
• AWSTASHNID and AWSTASHNIDEN must either be both present or both absent.
• AWSTASHLPID and AWSTASHLPIDEN must either be both present or both absent."
The AWSTASHNID/AWSTASHNIDEN are expected to be present in most cases, unless there is only one possible target for the stash request.