AXI5 : Untranslated Transactions property for A*MMU* signals and similarly for AXI5-Lite for AWSTASH*

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