-
Notifications
You must be signed in to change notification settings - Fork 642
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[AXI dv Plan]: Minor feedback #2065
Comments
Thank you @ludovicpion for this feedback |
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 0, 1 or 2 if ARLOCK = 1 Regards, |
@AEzzejjari Do you confirm the feedbacks are inserted in the doc ? If ok, the issue can be closed. |
Yes I do |
Is there an existing CVA6 bug for this?
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
The text was updated successfully, but these errors were encountered: