Hi, ARM
I am a verification engineer responsible for CHI interface. During verification, when issuing a SnpCleanShared targeting the cacheline in UC state via VIP, DUT returns snoop response on RSP channel with Resp==0x2. VIP flags this as an error, reporting the following messages:
SnpResp Response flit (TxnID:0x788) sent for SnpCleanShared transaction with an unexpected Resp value: UC.
Unexpected RespVal == UC for initial cache state UniqueDirty.
Inital cache state should be: UC.
Could you please clarify whether DUT's behavor complies with the CHI Specification?
thanks!