github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-23 21:57:11 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Merge pull request #2063 from ThalesSiliconSecurity/fixcov

Browse source 
Isacov_status.rst: fix RVFI limitation description
This commit is contained in:
JeanRochCoulon 2023-07-18 22:49:53 +02:00 • committed by GitHub
commit 706830aae0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
cva6/docs/coverage_status/isacov_status.rst
View file

@ -182,7 +182,7 @@ The table blow resume what’s missing in ISACOV agent fucntionnal coverage :
**Conventions and Terminology :**
*RVFI limitation\** : the RVFI in the CVA6 get his information from the commit stage, that mean the ISACOV can gat onlt information of valid instruction, so any instruction that raise an exception can’t be cover.
*RVFI limitation\** : the RVFI in the CVA6 get it's information from the commit stage, that means the ISACOV agent can get only information of valid instruction (committed instruction), so any instruction raising an exception or can’t be cover.
*Need CSR tests*\** : we can get what has been done in CSR verification task.