Commits · 090db0a918679e02b9dd72c56238969663d7fb9b · OpenHW Group / backup-20250309 / programs

Jul 03, 2024
- Added RISC-V ISA Formal Verification tool logs. · 090db0a9
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  090db0a9
- Final version of some reports and RTL Freeze checklist. · 1518db89
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  1518db89
- Finalization of the file list. · 055ae8ee
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  055ae8ee
- CV32E40Pv2 RISC-V ISA Formal verif reports update and tool logs addition. · 4e2d66eb
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  4e2d66eb
Jul 02, 2024
- Merge pull request #683 from Silabs-ArjanB/ArjanB_ctg724 · c7323440
  Arjan Bink authored 8 months ago
```
Cores TG slides July 2024
```
  Unverified
  
  c7323440
- Cores TG slides July 2024 · 900d9897
  Arjan Bink authored 8 months ago
```
Signed-off-by: Arjan Bink <Arjan.Bink@silabs.com>
```
  900d9897
Jun 21, 2024
- Merge pull request #682 from pascalgouedo/dd_pgo · 1bf9884c
  Pascal GOUEDO authored 8 months ago
```
CV32E40Pv2 files updates
```
  Unverified
  
  1bf9884c
- Files changes. · 1497e946
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  1497e946
- Files updates · 3e5097f1
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  3e5097f1
- Files renamed to v1.8.3 · ce344538
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  ce344538
- Merge pull request #681 from pascalgouedo/dd_pgo · b4f16e12
  Pascal GOUEDO authored 8 months ago
```
CV32E40Pv2 RISC-V ISA Formal verif reports addition and update of RTL Design tab in RTL Freeze checklist
```
  Unverified
  
  b4f16e12
- Updated PULP_FPU_0cyclat results. · e0e94e52
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  e0e94e52
- Updated RTL Design tab in RTL Freeze checklist · 6029b6c0
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  6029b6c0
- Updated Formal Verification tab in RTL Freeze checklist · 4bfc6345
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  4bfc6345
- Updtaed PULP_FPU_0cyclat results. · d21110d4
  Pascal GOUEDO authored 9 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  d21110d4
- CV32E40Pv2 RISC-V ISA Formal verif reports update with intermediate PULP_FPU_0cyclat results · 6a294739
  Pascal GOUEDO authored 9 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  6a294739
- CV32E40Pv2 RISC-V ISA Formal verif reports · 98701f9e
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  98701f9e
- Merge pull request #680 from pascalgouedo/dd_pgo_riscvISACOV_reports · f24f9eb2
  Pascal GOUEDO authored 8 months ago
```
A bunch of updates for CV32E40Pv2 reports.
```
  Unverified
  
  f24f9eb2
Jun 20, 2024

First version of MCU/DevkitV2 PL 2024. Needs work, do not merge yet. (#662) · aab8ad6c

Duncan Bees authored 8 months ago

* First version of MCU/DevkitV2 PL 2024. Needs work, do not merge yet.

* correcting the PL file

* Added project steps table, need to now have dates

* Adding schedule details from CMC and QL

Unverified

aab8ad6c

Jun 19, 2024
- Renamed RTL_v1.8.0 to RTL_v1.8.3 · 49eb1f0b
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  49eb1f0b
- - Renamed RTL_v1.8.0 to RTL_v1.8.0. · 84a686d4
  Pascal GOUEDO authored 8 months ago
```
- Updated links due to 1 level up index.html.
- Added links to additional documents and reports.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  84a686d4
- Moved central index.html file 1 level up. · c7ea0ab6
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  c7ea0ab6
- Renamed RTL_v1.8.0 directory to RTL_v1.8.3 · 698b83fd
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  698b83fd
- Removed Reports/Formal directory. · cbcf31d3
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  cbcf31d3
- Created new riscvISACOV text reports with additional ones just reporting holes. · bc6ac0a4
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  bc6ac0a4
- Updated riscvISACOV html report with week 25 non-reg results. · 21a14577
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  21a14577
- Merge pull request #679 from pascalgouedo/dd_pgo_holes · 17585271
  Pascal GOUEDO authored 8 months ago
```
Holes and waivers lists updated.
```
  Unverified
  
  17585271
Jun 18, 2024
- Added issues numbers for some waived holes. · e78a0e9b
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  e78a0e9b
- Removed finally covered holes. · a936db01
  Pascal GOUEDO authored 8 months ago
```
Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>
```
  a936db01
Jun 13, 2024
- Add report for the HPDcache project (June 2024) · 3254c608
  Cesar Fuguet authored 8 months ago
  
  3254c608
Jun 12, 2024
- Merge pull request #677 from XavierAubert/cv32e40pv2_verif_issues · 14690ab8
  Mike Thompson authored 9 months ago
```
Create CV32E40Pv2_not_verified_features.xlsx
```
  Unverified
  
  14690ab8
- Update CV32E40Pv2_not_verified_features.xlsx · a198e73b
  Xavier Aubert authored 9 months ago
```
Took into account Mike comments
```
  a198e73b
- Merge pull request #678 from DBees/Project-Board-Instructions · 393c12d2
  Mike Thompson authored 9 months ago
```
Short description of how we use project boards in OpenHW Group
```
  Unverified
  
  393c12d2
Jun 11, 2024
- Short description of how we use project boards in OpenHW Group · 37d19947
  Duncan Bees authored 9 months ago
  
  37d19947
Jun 10, 2024
- Create CV32E40Pv2_not_verified_features.xlsx · fd062bec
  Xavier Aubert authored 9 months ago
```
Added a file that contains more informations on verification limitations
```
  fd062bec
Jun 07, 2024
- Merge pull request #676 from DBees/add-Project-Framework-Slides · c1031362
  Mike Thompson authored 9 months ago
```
Adding Project Framework presentation
```
  Unverified
  
  c1031362
- Adding Project Framework presentation · bec4c0e1
  Duncan Bees authored 9 months ago
  
  bec4c0e1
Jun 05, 2024
- Merge pull request #674 from pascalgouedo/dd_pgo_design_issues · ebd47e90
  Mike Thompson authored 9 months ago
```
CV32E40Pv2 Design issues list: updated all remaining opened issues.
```
  Unverified
  
  ebd47e90
- Merge pull request #675 from dd-BeeNee/update_cv32e40pv2_rpt_WW23 · 2cebf082
  Mike Thompson authored 9 months ago
```
Refresh RTL Code Coverage reports with newly proven waivers, and update documentation.
```
  Unverified
  
  2cebf082
- Refresh RTL Code Coverage reports with newly proven waivers, and update documentation. · cf5e3156
  Bee Nee Lim authored 9 months ago
```
Signed-off-by: Bee Nee Lim <beenee.lim@dolphin.fr>
```
  cf5e3156