cva6

cva6 copied to clipboard

[BUG] Tandem verification with generated tests triggers occasional differences on SLT/SLTI result values

4

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description Systematic verification of CV32A65X with updated CV-X-IF support (see...

zchamski

[BUG] Regression Tests Failures: Incorrect PC jumps & Missing zbkb Extension

1

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description I encountered issues while running the regression test simulations...

lx3211

[BUG] Too many ways of configuring Spike Tandem wrt. CV-X-IF verification

1

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description After the merge of openhwgroup/core-v-verif#2580, the 64b `vcs-testharness` and...

zchamski

[TASK] Implement and deploy full doc+config generation flow based on riscv-config specs

1

### Is there an existing CVA6 task for this? - [x] I have searched the existing task issues ### Task Description In the spirit of the ["Single Source of Truth"](https://riscvsummit2024.sched.com/event/1jU1t/member-day-session-sailing-toward-a-single-source-of-truth-paul-clarke-ventana-micro-systems-derek-hower-qualcomm),...

zchamski

[BUG] Error when upgrading Verilator

3

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description Hello guys, I am trying to upgrade the Verilator...

jason23g

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description According to IEEE Std 1800-2017 *SystemVerilog 3.1a Language Reference...

cathales

[BUG] Compiler errors when running the cvxif_verif_regression

2

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description I'm going through the example implementation of a co-processor...

nachoge98

Add readthedocs action to GitHub

2

As discussed in https://github.com/openhwgroup/cva6/issues/2650, a GitHub Action could be added to check that the docs can be built before merging pull requests. There is an official repository: https://github.com/readthedocs/actions I’m not...

cathales

[BUG] <title> FPU error behavior

1

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description When using the FPU with NUM_OPGROUPS set to 4,...

yutong0505

### Is there an existing CVA6 bug for this? - [x] I have searched the existing bug issues ### Bug Description Hi! Our microarchitectural fuzzer has found that CVA6 is...

TobiasKovats