github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-22 05:07:21 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 5
cva6/verif/docs/VerifPlans
History
Exact
OlivierBetschi c3fe25aeda
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
Details
ci / build-riscv-tests (push) Waiting to run
Details
ci / execute-riscv64-tests (push) Blocked by required conditions
Details
ci / execute-riscv32-tests (push) Blocked by required conditions
Details
PMP Verif Plan and tests (#2648) 
Verification Plan provided in VP_TOOL for the PMP. The verification plan should be complete, however only a partial set of the tests is available. This is not included in the CI but a bash script is available to run the test.
2025-03-12 13:17:40 +01:00
..
AXI AXI: DvPlan modification (#1962) 2024-05-17 22:44:16 +02:00
csr_access dvplan_csr-access.md: remove file in VerifPlans/csr_access (#2739) 2025-01-24 13:56:24 +01:00
csr_embedded_access Dvplan CSR embedded (#1606) 2023-11-13 10:17:44 +01:00
CVXIF [DVplans] Fix broken paths to VPTOOL. (#2007) 2024-04-05 18:21:39 +02:00
FENCEI [DVplans] Fix broken paths to VPTOOL. (#2007) 2024-04-05 18:21:39 +02:00
FRONTEND [DVplans] Fix broken paths to VPTOOL. (#2007) 2024-04-05 18:21:39 +02:00
images move files to a verif directory 2023-09-07 09:50:50 +02:00
ISA_RV32 ISA DVPLAN : Add bit-manipilation instructions (Zb*) (#1884) 2024-03-05 14:17:20 +01:00
MMU_SV32 [DVplans] Fix broken paths to VPTOOL. (#2007) 2024-04-05 18:21:39 +02:00
PMP PMP Verif Plan and tests (#2648) 2025-03-12 13:17:40 +01:00
source PMP Verif Plan and tests (#2648) 2025-03-12 13:17:40 +01:00
traps Trap DV plan: first version (#1623) 2023-11-13 17:23:12 +01:00
cvxif_VP.xlsx move files to a verif directory 2023-09-07 09:50:50 +02:00
install-prerequisites.sh move files to a verif directory 2023-09-07 09:50:50 +02:00
make.bat move files to a verif directory 2023-09-07 09:50:50 +02:00
Makefile move files to a verif directory 2023-09-07 09:50:50 +02:00
requirements.txt move files to a verif directory 2023-09-07 09:50:50 +02:00
vp_config.py move files to a verif directory 2023-09-07 09:50:50 +02:00
VPTOOL-VerifPlan-HOWTO.md move files to a verif directory 2023-09-07 09:50:50 +02:00