Election for jean-roch coulon as Committer on OpenHW Group CORE-V Cores

Role Type
Criteria

Jean-Roch is a key member of the CVA6 verification team and has a major impact on the project.
I would like to nominate him as Committer on CORE-V Cores.
See details below
thank you,
Duncan

He has opened these PR on core-v-verif:
linux.sh, cva6.yaml: add Linux BBL 64bit test
#1035 by JeanRochCoulon was merged yesterday
• Approved
1
This is an infrastructure to verify the CV64 core with the help of ri…
#102 by JeanRochCoulon was closed on Jun 25
• Changes requested

He has opened these pull requests on CVA6:
Makefile: Implement the plateforms defined in cva6 specification
#769 opened 16 hours ago by JeanRochCoulon
• Changes requested

Makefile: Fix Verilator random bugs by setting verilator thread to one thread
#768 by JeanRochCoulon was merged yesterday
• Approved
1

Add RVFI to Ariane
#573 by JeanRochCoulon was closed on Jun 25
47

Fix the lint warnings which create errors in ASIC synthesis tool
#564 by JeanRochCoulon was merged on Dec 16, 2020
• Approved
5

Fix lint
#524 by JeanRochCoulon was merged on Oct 7, 2020
• Approved
6

Ariane 32bits
#459 by JeanRochCoulon was merged on Sep 10, 2020
• Changes requested
61

address length: make configurable physical and virtual address length
#369 by JeanRochCoulon was merged on Feb 18, 2020
@zarubaf
12

Make fpu optional
#344 by JeanRochCoulon was closed on Dec 3, 2019

He has opened these issues on CVA6:
DTM issue during negotiation time when XLEN=32bits
#541 opened on Oct 6, 2020 by JeanRochCoulon
3

Addressed are defined on 64 bits, which generates kgate overhead
#360 by JeanRochCoulon was closed on Feb 24, 2020

Nominated by
Date
-
Status
This election has been approved by the PMC.
Voter Vote Comments
Duncan Bees +1 +1 implied by nomination
Mike Thompson +1
Jérôme Quévremont +1
Florian Zaruba +1 Jean-Roch has been involved in the project for a long time now and I approve him to be elected to comitter status.
Jeremy Bennett +1

PMC Approval

  • Duncan Bees (+1) Welcome!