Notice: Some of the services that support the smooth operation of our websites are still in the process of being restored. As a result, certain features—such as images and committer paperwork—may be temporarily unavailable. Our team is actively working to resolve these issues and restore full functionality as soon as possible.

Thank you for your patience and understanding.

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!