Xavi/cvw
1
0
Fork 0
forked from Github_Repos/cvw
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update dvtestplan.md

Browse Source
This commit is contained in:
David Harris 2023-04-06 09:29:47 -07:00 committed by GitHub
parent 6431e358ca
commit fddbd79209
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
dvtestplan.md
View File

@ -2,17 +2,17 @@
This document outlines the test plan for the Wally rv64gc configuration to reach Technology Readiness Level 5. This document outlines the test plan for the Wally rv64gc configuration to reach Technology Readiness Level 5.
a) Pass riscv-arch-test 1. Pass riscv-arch-test
b) Boot Linux 2. Boot Linux
c) FPU pass all TestFloat vectors 3. FPU pass all TestFloat vectors
d) Performance verification: Caches and branch predictor miss rates match independent simulation 4. Performance verification: Caches and branch predictor miss rates match independent simulation
e) Directed tests 5. Directed tests
- Privileged unit: Chapter 5 test plan - Privileged unit: Chapter 5 test plan
- MMU: PMA, PMP, virtual memory: Chapter 8 test plan - MMU: PMA, PMP, virtual memory: Chapter 8 test plan
- Peripherals: Chapter 16 test plan - Peripherals: Chapter 16 test plan
f) Random tests 6. Random tests
- riscdv tests - riscdv tests
g) Coverage tests 7. Coverage tests
- Directed tests to bring coverage up to 100%. - Directed tests to bring coverage up to 100%.
- Statement, experssion, branch, condition, FSM coverage in Questa - Statement, experssion, branch, condition, FSM coverage in Questa
- Do not measure toggle coverage - Do not measure toggle coverage
@ -20,8 +20,8 @@ g) Coverage tests
All tests operate correctly in lock-step with ImperasDV All tests operate correctly in lock-step with ImperasDV
Open questions: Open questions:
How to define extent of riscdv random tests needed? 1. How to define extent of riscdv random tests needed?
What other directed tests? 2. What other directed tests?
PMP Tests PMP Tests
Virtual Memory Tests Virtual Memory Tests
How to define pipeline tests? How to define pipeline tests?