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] Missed case operator range #2591

Open
1 task done
likeamahoney opened this issue Nov 8, 2024 · 1 comment
Open
1 task done

[BUG] Missed case operator range #2591

likeamahoney opened this issue Nov 8, 2024 · 1 comment
Labels
notCV32A65X It is not an CV32A65X issue Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system

Comments

@likeamahoney
Copy link
Contributor

Is there an existing CVA6 bug for this?

  • I have searched the existing bug issues

Bug Description

Hi. We are developing a HDL static analyzer and testing it on opensource projects.

It was founded that in functions fpRegAddrToStr and regAddrToStr from instr_trace_item.svh 6-bit addr variable is passed in case inside operators. But cases only cover the range of integers from 0 to 31 (there are no handlers for integers in the range 32 to 63) and they don't have default labels.

These functions are called in the code only with 5-bit variables logic [4:0] result_regs [$];. So is this a bug or a function declaration oversight?

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

Hello @likeamahoney thanks for your feedback and your interest in cva6.
This piece of code is not so much used since two years because other ways exist to trace instructions (RTL execution is compared with Spike use as reference model). We can keep this issue open for a while to see whether somebody uses this piece of code and would like to dig into the issue.

@JeanRochCoulon JeanRochCoulon added the notCV32A65X It is not an CV32A65X issue label Nov 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
notCV32A65X It is not an CV32A65X issue Type:Bug For bugs in the RTL, Documentation, Verification environment or Tool and Build system
Projects
None yet
Development

No branches or pull requests

2 participants