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

FDIV FSQRT Rounding Mode Calculation Mismatches #68

Open
M31581 opened this issue Oct 25, 2022 · 1 comment
Open

FDIV FSQRT Rounding Mode Calculation Mismatches #68

M31581 opened this issue Oct 25, 2022 · 1 comment

Comments

@M31581
Copy link

M31581 commented Oct 25, 2022

FDIV and FSQRT rounding mode calculation mismatches found when comparing the results from FPnew to a RocketChip RISCV IMAF processor.

I have attached a few examples of calculation mismatches found:
FDIV FSQRT Rounding Mode Calculation Mismatches .xlsx

Note: I have added the solution from issue #47 since it fixed rounding mode issues found when testing against the RISCV Compliance tests, and I have found there are less rounding mode issues detected with it included.

Can you comment on my findings?

@MikeOpenHWGroup
Copy link
Member

Thanks for reporting this @M31581, it is very much appreciated. As you may know cvfpu is under-going verification as part of the CV32E40Pv2 project. At this time cvfpu is not fully verified and it is not surprising that there are bugs. In particular, the SQRT function is known to have many issues.

We are working on it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants