diff --git a/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/CV32E40Pv2_Design_Issue_Summary.xlsx b/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/CV32E40Pv2_Design_Issue_Summary.xlsx index f43b209e..7c424383 100755 Binary files a/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/CV32E40Pv2_Design_Issue_Summary.xlsx and b/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/CV32E40Pv2_Design_Issue_Summary.xlsx differ diff --git a/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/OpenHWGroup_TRL5_for_COREV_RTL_Cheklist-CV32E40P.xlsx b/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/OpenHWGroup_TRL5_for_COREV_RTL_Cheklist-CV32E40P.xlsx index e3a87d15..6d4946bf 100755 Binary files a/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/OpenHWGroup_TRL5_for_COREV_RTL_Cheklist-CV32E40P.xlsx and b/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/OpenHWGroup_TRL5_for_COREV_RTL_Cheklist-CV32E40P.xlsx differ diff --git a/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/index.html b/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/index.html index c9d2dd16..b3f08a52 100644 --- a/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/index.html +++ b/Project-Descriptions-and-Plans/CV32E40Pv2/Milestone-data/RTL_v1.8.3/index.html @@ -8,7 +8,7 @@
Simulation verification methodology used for all CORE-V cores is described in following document: CORE-V Verification Strategy
-For CV32E40Pv2, RISC-V ISA Formal Verification methodology was used and is described here.
+For CV32E40Pv2, RISC-V ISA Formal Verification methodology was used and is described here.
Documentation for the various CORE-V cores are maintained in core-v-docs, the OpenHW Group's CORE-V documentation repo.
As much as is practical, we try to add documentation where you actually use it.
@@ -22,8 +22,8 @@
Database for the cv32e40p_v1.8.3 release.
Then Simulation verification was used to verify what can't be modelized and verified using Formal, like Hardware Loops, Prefetch and Fetch pipeline stages...