cva6

cva6 copied to clipboard

[TASK] Parametrization

15

### Is there an existing CVA6 task for this? - [x] I have searched the existing task issues ### Task Description To be able to instantiate several CVA6 with different...

JeanRochCoulon

[Spike] : Mismatch of address mapping between spike & RTL

16

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description Hello, So after the merge of spike tandem, one...

AyoubJalali

[BUG] no Spike configuration to disable S-mode [compliance, csr and tests-p failing on master]

7

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description `master` branch has 3 failing tests since 4b67475fa452e9d363a22f9c47280fe54c4e780b: -...

cathales

[BUG] UVM Failing at instruction page fault

5

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description Hi, I'm currently trying to update the cva6 from...

SylRemTHA

[TASK] Generate CSR DVplan

12

### Is there an existing CVA6 task for this? - [x] I have searched the existing task issues ### Task Description Generate the Dvplan for CSRs in embedded config: field...

JeanRochCoulon

Performance Counter CSRs in User Manual do not align with Requirements Specification

3

The [Performance Counters section of the Requirements Specification](https://docs.openhwgroup.org/projects/cva6-user-manual/02_cva6_requirements/cva6_requirements_specification.html#performance-counters) indicate that there should be six 64-bit performance counters (`HPM-20`) and these performance counters shall be selected by the mhpmevent3 to mhpmevent8...

MikeOpenHWGroup

[TASK] Implement CSR flow: CSR documentation using templating => UVM_reg => test and coverage generation

1

### Is there an existing CVA6 task for this? - [X] I have searched the existing task issues ### Task Description The CSR IP-XACT master documentation should contain all CSR...

JeanRochCoulon

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description This issue is motivated by #1619. A quick grep...

MikeOpenHWGroup

[TASK] Enforce CVA6 Spyglass lint rules

1

### Is there an existing CVA6 task for this? - [X] I have searched the existing task issues ### Task Description Use verible to lint RTL located in `cva6/core` directory...

ASintzoff

[BUG] replace FORMAL directive by VERILATOR

6

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description In PMP modules, some " ifdef FORMAL " are...

JeanRochCoulon