added all known failures from last non-regression & links to corresponding core-v-verif issues

        * TWG-and-TG-Attendance-Tracking/TGSoftware_Attendance_2024.md: Updated.

Signed-off-by: Paolo Savini <paolo.savini@embecosm.com>

Final CV32E40Pv2 RISC-V ISA Formal Verification Properties status

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Corrected wrong CV32E40Pv2 non-regression numbers.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

CV32E40Pv2 index.html updates.

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

CV32E40Pv2: Added Siemens Questa Processor in index.html

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

CV32E40Pv2 documents and reports updates

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Cores TG slides July 2024

Signed-off-by: Arjan Bink <Arjan.Bink@silabs.com>

CV32E40Pv2 files updates

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

CV32E40Pv2 RISC-V ISA Formal verif reports addition and update of RTL Design tab in RTL Freeze checklist

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

A bunch of updates for CV32E40Pv2 reports.

* 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

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

- 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>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Signed-off-by: Pascal Gouedo <pascal.gouedo@dolphin.fr>

Holes and waivers lists updated.