OlivierBetschi
c3fe25aeda
PMP Verif Plan and tests ( #2648 )
...
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions
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
André Sintzoff
3ebb510374
dvplan_csr-access.md: remove file in VerifPlans/csr_access ( #2739 )
...
bender-up-to-date / bender-up-to-date (push) Has been cancelled
ci / build-riscv-tests (push) Has been cancelled
ci / execute-riscv64-tests (push) Has been cancelled
ci / execute-riscv32-tests (push) Has been cancelled
as the file is also located in VerifPlans/source
Signed-off-by: André Sintzoff <andre.sintzoff@thalesgroup.com>
2025-01-24 13:56:24 +01:00
André Sintzoff
45aa060b5c
docs: regenerate dvplan_csr-access.md ( #2625 ) ( #2714 )
...
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions
Previous fix was not correct (PR 2627)
Signed-off-by: André Sintzoff <andre.sintzoff@thalesgroup.com>
Co-authored-by: JeanRochCoulon <jean-roch.coulon@thalesgroup.com>
2025-01-22 10:51:14 +01:00
André Sintzoff
f800707738
docs: update URL in CSR access DV plan ( fix #2625 ) ( #2627 )
...
bender-up-to-date / bender-up-to-date (push) Has been cancelled
ci / build-riscv-tests (push) Has been cancelled
ci / execute-riscv64-tests (push) Has been cancelled
ci / execute-riscv32-tests (push) Has been cancelled
CSR are no more described in CV32A6_Control_Status_Registers.html
2024-11-22 15:12:57 +01:00
AEzzejjari
f8e7a7d05e
AXI: DvPlan modification ( #1962 )
2024-05-17 22:44:16 +02:00
Zbigniew Chamski
a6fc375dc6
[DVplans] Fix broken paths to VPTOOL. ( #2007 )
2024-04-05 18:21:39 +02:00
Jalali
f5662fb49f
ISA DVPLAN : Add bit-manipilation instructions (Zb*) ( #1884 )
2024-03-05 14:17:20 +01:00
André Sintzoff
97b6969f34
Trap DV plan: first version ( #1623 )
2023-11-13 17:23:12 +01:00
Anouar
55970d3921
Dvplan CSR embedded ( #1606 )
2023-11-13 10:17:44 +01:00
Jalali
39d26fb5cb
ISA DV plan ( #1618 )
2023-11-12 14:50:46 +01:00
sai krishna pidugu
21a2a2893e
CV32A6 CSR Access dvplan ( #1470 )
2023-09-27 10:34:04 +02:00
Côme Allart
736be43a73
move files to a verif directory
2023-09-07 09:50:50 +02:00
