Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Incorrect DCSR value read/ written #443

Closed
shetalani opened this issue Aug 6, 2020 · 1 comment
Closed

Incorrect DCSR value read/ written #443

shetalani opened this issue Aug 6, 2020 · 1 comment
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system

Comments

@shetalani
Copy link

RISC-V Specification:

  • 4.8.1

Issue Description:

Bits [27:16], [14] and [5] of DCSR should be tied to zero as specified in the spec.

Example:

As shown below, the instruction 32'h7b0027f3 (CSRRSI X15, DCSR, X0) is decoded at time point t##0, where dcsr_q.zero2 is read as 12'h800 at t##1. Same goes for dcsr_q.zero1 or dcsr_q.zero0.

DCSR_zero

Top Level Parameters

cv32e40p_core #(
    .FPU                      ( 0 ),
    .NUM_MHPMCOUNTERS         ( 1 ),
    .PULP_CLUSTER             ( 0 ),
    .PULP_XPULP               ( 0 ),
    .PULP_ZFINX               ( 0 )
)

Product: OneSpin 360 DV-Verify
App: RVV
Tool's version: 2020.1.4
@Silabs-ArjanB Silabs-ArjanB added Component:RTL For issues in the RTL (e.g. for files in the rtl directory) Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system labels Aug 10, 2020
@Silabs-ArjanB Silabs-ArjanB added the Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation label Sep 8, 2020
@Silabs-ArjanB
Copy link
Contributor

Hi @shetalani This issue should have been fixed now after the merge of #483 . Could you please check again and close this issue if fixed now?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Silabs-ArjanB @shetalani