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

[BUG] Illegal instruction not raising exception #1953

Closed
1 task done
AyoubJalali opened this issue Mar 22, 2024 · 4 comments
Closed
1 task done

[BUG] Illegal instruction not raising exception #1953

AyoubJalali opened this issue Mar 22, 2024 · 4 comments
Assignees
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) CV32A65X Part: Embedded configuration 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

Hello,
After merging the H extension, I run a regression to see if, the added code not affecting our code coverage on not supported H extension target.
What I saw after a regression, a lot of falling tests due to mismatch between the CVA6, and Spike, after reproducing the failing tests, I had some illegal instruction not raising exception on the CVA6 side.
as an example : 0xfeb00073 also 0x88adcb73 and more.

It seems as a SYSTEM instruction, but I don't know if it's H extension instructions to be honest, what I'm sure about the this BUG, appear after the merge of the H extension, and with a target that doesn't support H extension (RVH = 0).

Spike Version: 1.1.1-dev 958a5cb6
CVA6 HASH: 86e1408

So to reproduce the BUG here is 2 examples of assembly code has the BUG :

BUG1.txt
BUG2.txt

@AyoubJalali AyoubJalali 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 CV32A65X Part: Embedded configuration labels Mar 22, 2024
@AyoubJalali
Copy link
Contributor Author

@ninolomata I couldn't assign it to you, so I leave this comment to see the issue.

ninolomata added a commit to ninolomata/cva6 that referenced this issue Mar 22, 2024
@ninolomata
Copy link
Contributor

@AyoubJalali see PR #1955
Thank you!

ninolomata added a commit to ninolomata/cva6 that referenced this issue Mar 22, 2024
@JeanRochCoulon
Copy link
Contributor

@AyoubJalali Can you check that the issue is fixed ? Then close it

@AyoubJalali
Copy link
Contributor Author

@AyoubJalali Can you check that the issue is fixed ? Then close it

PR #1955 Fix the Bug, I checked !!
Thanks @ninolomata

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) CV32A65X Part: Embedded configuration Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Projects
None yet
Development

No branches or pull requests

3 participants