cva6

cva6 copied to clipboard

[BUG] Cannot run verif/regress/benchmark.sh

1

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description After setting the toolchain as indicated in util/gcc-toolchain-builder/README.md, and...

ferrandf

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description `stall_instr_fetch` signal in `core/id_stage.sv` will not be driven if...

ckf104

[BUG] B extension: incorrect decoding for some instructions in RV32

2

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description According to RISC-V ISA specification, for RV32, the bit...

ASintzoff

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description This issue can be encountered in most tests in...

LQUA

Fix Camel style for cva6 parameters

1

Currently the Camel style of parameters is not homogeneous. Need to fix it. Some examples: - XF16ALT should be renamed XF16Alt ? - RVZCB should be renamed RVZcb ? -...

JeanRochCoulon

TIME and TIMEH CSRs are not implemented in csr_regfile.sv.

JeanRochCoulon

### Task Description read_access_exception is by default set to zero in RTL. When CSR is unimplemented, it is set to one. This is costy in term og gate count. ...

JeanRochCoulon

latch detection in spyglass audit report

1

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description Spyglass detects the presence of 33 latches in csr_regfile.sv....

Asmaa-Kassimi

Fix the 65x CSR document

2

Several feedbacks from 65x CSR document https://docs.openhwgroup.org/projects/cva6-user-manual/04_cv32a65x/design/source/CSRs.html - exception information need ot be added: when exception will be generated ? - Upper PMP CSR are ROCST zero - PMPCfg have...

JeanRochCoulon

### Is there an existing CVA6 task for this? - [X] I have searched the existing task issues ### Task Description To ensure a good verification of the CVXIF 1.0.0...

Gchauvon