[AXI dv Plan]: Minor feedback

[ludovicpion]

Is there an existing CVA6 bug for this?

• I have searched the existing bug issues

Bug Description

Hi,
As agreed, we (CEA) hae reviewed the AXI dv_plan. Only minor points to highlight.

Item: 013
• XLEN is not mentioned in the specification. Do we have to understand the XLEN= AXI DATA WIDTH ?

Item: 014
In the dvPlan: ARSIZE can not be equal to 3 if ARID = 1
but in the spec: if(RV32) ARSIZE != 3 && ARLEN = 0 && ARID = 1.
=> So the ARLEN = 0 condition is missing in the dvplan

In the dvPlan: ARSIZE can not be equal to 0, 1 or 2 if ARLOCK = 1
but in the spec if(RVA) AxLOCK = 1 => AxSIZE > 1.
=> Should be
ARSIZE can not be equal to 0 or 1 if ARLOCK = 1 (already present in the Item: 015)
ARSIZE is equal to 2 if ARLOCK = 1

Regards,
Ludovic

[JeanRochCoulon]

Thank you @ludovicpion for this feedback

[ludovicpion]

Hi,

As far as I can see the comment on items 14 is still valid:

tem: 014
In the dvPlan: ARSIZE can not be equal to 3 if ARID = 1
but in the spec: if(RV32) ARSIZE != 3 && ARLEN = 0 && ARID = 1.
=> So the ARLEN = 0 condition is missing in the dvplan

In the dvPlan: ARSIZE can not be equal to 0, 1 or 2 if ARLOCK = 1
but in the spec if(RVA) AxLOCK = 1 => AxSIZE > 1.
=> Should be
ARSIZE can not be equal to 0 or 1 if ARLOCK = 1 (already present in the Item: 015)
ARSIZE is equal to 2 if ARLOCK = 1

Regards,
Ludovic

[JeanRochCoulon]

@AEzzejjari Do you confirm the feedbacks are inserted in the doc ? If ok, the issue can be closed.

[AEzzejjari]

Yes I do