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