cva6

cva6 copied to clipboard

Spike Configuration for CVA6 CSR Verification

5

Hi, while verifying access modes for PMPADDR CSR I am facing issues on spike configuration as mentioned below. As CVA6 core has a granularity of 8 bytes that bit-0 of...

spidugu444

AXI: DvPlan modification

3

Modify the DvPlan according to changes in the AXI user guide

AEzzejjari

axi Specification: Modify the AXI memory interface specification

7

Modify AXI interface specification by adding constraint that are not supported by CVA6

AEzzejjari

[BUG] Incorrect Result from 'fdiv' Operation Leading to Negative Infinity Instead of Smallest Negative Number

4

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description When performing floating-point division using the `fdiv.d` instruction in...

youzi27

[BUG] Unexpected Rounding Behavior During fsqrt.d Execution

4

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description In some rounding mode, precision errors occur when calculating...

youzi27

[BUG] Incorrect Accumulation of ‘OF’ Flag in fflags After Executing fsqrt.d on Infinity

1

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description When executing the `fsqrt.d` instruction on a double-precision floating-point...

youzi27

[BUG] Spike enabling `MTIP` by default

3

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description Hello, After running a rest CSR test, I observe...

AyoubJalali

[BUG] Failure to Trigger NX Exception Under Specific Microarchitectural Conditions

4

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description **Description** I have encountered a bug where the NX...

youzi27

[BUG] Allowing illegal access to addresses outside the PMP range and memory boundaries.

7

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description EDIT: The CVA6 can access an address beyond the...

youzi27

[BUG] PMPCFG WARL behavior

12

### Is there an existing CVA6 bug for this? - [X] I have searched the existing bug issues ### Bug Description Hello, In the RISCV spec section 3.7 Physical Memory...

AyoubJalali