Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Cv32e40p/dev

!1645 · created Feb 13, 2023 by Eclipse Webmaster cv32e40p/dev
- Merged
- 2
- Approved
updated Feb 13, 2023
Env & Tests updates to support PULP instruction and FPU tests execution

!1617 · created Feb 03, 2023 by Eclipse Webmaster cv32e40p/dev
cv32e40p
- Merged
- 6
updated Feb 13, 2023
Cv32e40s dev 20230210

!1639 · created Feb 10, 2023 by Eclipse Webmaster cv32e40s/dev
- Merged
- 2
updated Feb 10, 2023
Cv32e40x dev 20230210

!1640 · created Feb 10, 2023 by Eclipse Webmaster cv32e40x/dev
- Merged
- 2
updated Feb 10, 2023
PMP Assert - Add Missing Check

!1614 · created Feb 03, 2023 by Eclipse Webmaster cv32e40s/dev
cv32e40s
- Merged
- 5
- Approved
updated Feb 10, 2023
Enable by default the memory access tracing

!1421 · created Sep 21, 2022 by Eclipse Webmaster cva6/dev
- Merged
- 1
updated Feb 09, 2023
setup-ci-example: Fix typo

!1601 · created Jan 27, 2023 by Eclipse Webmaster cv32a6_v0.1.0/dev
cva6
- Merged
- 5
updated Feb 09, 2023
CVA6 Core UVM_Environment Documentation

!1635 · created Feb 09, 2023 by Eclipse Webmaster cva6/dev
- Merged
- 2
updated Feb 09, 2023
Formal

!1363 · created Aug 09, 2022 by Eclipse Webmaster cv32e40x/dev
formal
- Merged
- 4
- Approved
updated Feb 09, 2023
ImpDV Formal Fix

!1475 · created Nov 04, 2022 by Eclipse Webmaster cv32e40s/dev
formal
- Merged
- 6
updated Feb 09, 2023
Formal updates

!1377 · created Aug 22, 2022 by Eclipse Webmaster cv32e40x/dev
formal
- Merged
- 7
- Approved
updated Feb 09, 2023
Formal Script Repaired

!1497 · created Nov 17, 2022 by Eclipse Webmaster cv32e40s/dev
formal
- Merged
- 2
- Approved
updated Feb 09, 2023
Fv - Update Flist

!1554 · created Dec 27, 2022 by Eclipse Webmaster cv32e40s/dev
formal
- Merged
- 5
- Approved
updated Feb 09, 2023
Questa Formal

!1555 · created Dec 28, 2022 by Eclipse Webmaster cv32e40s/dev
formal
- Merged
- 18
- Approved
updated Feb 09, 2023
Update spike log parsing

!1609 · created Feb 01, 2023 by Eclipse Webmaster cva6/dev
cva6
- Merged
- 5
updated Feb 08, 2023
Integrity backup

!1542 · created Dec 14, 2022 by Eclipse Webmaster cv32e40s/dev
- Merged
- 2
updated Feb 08, 2023
Nmi minor alert

!1546 · created Dec 15, 2022 by Eclipse Webmaster cv32e40s/dev
- Merged
- 3
updated Feb 08, 2023
Csr hardening update 2

!1549 · created Dec 19, 2022 by Eclipse Webmaster cv32e40s/dev
- Merged
- 8
updated Feb 08, 2023
CSR hardening update, because rtl is updated

!1547 · created Dec 16, 2022 by Eclipse Webmaster cv32e40s/dev
- Merged
- 21
updated Feb 08, 2023
fix vcs.mk and imperas_CV32.sv problem

!1627 · created Feb 07, 2023 by Eclipse Webmaster cv32e40p/dev
- Merged
- 3
- Approved
updated Feb 07, 2023