AXI UVM issue when integrating HPDCache

[JeanRochCoulon]

Is there an existing CVA6 bug for this?

• I have searched the existing bug issues

Bug Description

When switching WT cache to HPD cache, 4 AXI assertions stop the simulations:

When commenting the 4 assertions, the hello word test stops on timeout after 300s. When switching the AXI from active to passive, the test passes.

This failure is using vcs-uvm target.
The Thales developing branch is hpdcache0

[AEzzejjari]

When I debugged the 'hello-world' test in the smoke-tests, I found that the problem is originating from the RTL.
The bug occurs when we randomize the 'aw_delay,' which indicates the delay between AWVALID and AWREADY.

[cfuguet]

Hello,

Thank you for the report.

Can you please send the command line to rerun your test ?

When I debugged one of the ADD assembly tests, I saw that the problem came effectively for a write, but what I saw, is that the HPDcache sent both the address (AW) and the data (W) but it never received a response for it (B). So, in my case it looks more like a problem from the test environment.

[AEzzejjari]

When I reviewed the log file, I didn't notice that the agent didn't sent response, but when you mentioned it, I observed the waveform and I realized that when the address is accepted by the agent after the data, the agent does not send a response. Therefore, this is a bug in the agent.

[cfuguet]

Ok, yes, that was what I observed too. Let me know if I can help.

[cfuguet]

Hi @AEzzejjari,

Do you have any news on this issue ? :)

Thanks and regards

[JeanRochCoulon]

I think @AEzzejjari is oOo Today.
Alae has fixed the AXI agent.
I am (trying) to bump core-v-verif to CVA6... Not sure to succeed soon, because two PRs are in collision.

[cfuguet]

Ok great ! No problem, I'm glad that you have found (and fixed) some issues.

[JeanRochCoulon]

fixed by #2125