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.

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

[DECODER] : Separate between RV32 & RV64 instruction #1613

Closed
1 task done
AyoubJalali opened this issue Nov 9, 2023 · 4 comments
Closed
1 task done

[DECODER] : Separate between RV32 & RV64 instruction #1613

AyoubJalali opened this issue Nov 9, 2023 · 4 comments
Assignees
Labels
Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system

Comments

@AyoubJalali
Copy link
Contributor

Is there an existing CVA6 bug for this?

  • I have searched the existing bug issues

Bug Description

Still on the same issue, in the line, REV8 has 2 instr[31:20] value to be valid instrcution, but in fact REV8 is a RV64 instruction if instr.instr[31:20] == 12'b011010111000 & it's a RV32 if instr.instr[31:20] == 12'b011010011000, so it sould add a condition on this to improve CC

@AyoubJalali AyoubJalali added the Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system label Nov 9, 2023
@JeanRochCoulon
Copy link
Contributor

Hello @AyoubJalali A dediccared PR has been merged concerning this issue. If the issue is fixed, please close it (by indicating the PR number).

@ASintzoff
Copy link
Contributor

No change (except the verible formatting) has been done on that line since the introduction of bitmap RTL code.

@AyoubJalali
Copy link
Contributor Author

Hello @AyoubJalali A dediccared PR has been merged concerning this issue. If the issue is fixed, please close it (by indicating the PR number).

That's a new one

valentinThomazic pushed a commit to ThalesSiliconSecurity/cva6 that referenced this issue Nov 23, 2023
CVXIF: Verification plan moved to VPTOOL
JeanRochCoulon pushed a commit that referenced this issue Dec 17, 2023
@JeanRochCoulon
Copy link
Contributor

@AyoubJalali #1714 should have fixed this issue. If you confirm, you would have the privilege to close the issue ;-)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Projects
None yet
Development

No branches or pull requests

4 participants