Mario has many years of experience in Verification. He has been working as Verification Engineer for a long time in many of the OpenHW Group projects. He has significant contributions like many scripts for LEC/SEC for CV32E40P and RVFI reference model comparison for CVA6.
During the last months, he has contributed on OpenHW Group core-v-verif repository, with:
- https://github.com/openhwgroup/core-v-verif/pull/1696
- https://github.com/openhwgroup/core-v-verif/pull/1734
- https://github.com/openhwgroup/core-v-verif/pull/1846
- https://github.com/openhwgroup/core-v-verif/pull/1888
- https://github.com/openhwgroup/core-v-verif/pull/1889
- https://github.com/openhwgroup/core-v-verif/pull/1944
- https://github.com/openhwgroup/core-v-verif/pull/2045
- https://github.com/openhwgroup/core-v-verif/pull/2133
- https://github.com/openhwgroup/core-v-verif/pull/2317
- https://github.com/openhwgroup/core-v-verif/pull/2335
It is my pleasure to nominate Mario Rodriguez as a committer on OpenHW Group CORE-V Cores.
| Voter | Vote | Comments |
|---|---|---|
| André Sintzoff | +1 | +1 implied by nomination |
| David Harris | +1 | |
| Lee Hoff | +1 | |
| Pascal GOUEDO | +1 | |
| Jonathan Balkind | +1 | |
| Jérôme Quévremont | +1 | |
| Florian Wohlrab | +1 |
PMC Approval
- Duncan Bees (+1) Welcome as committer Mario! cheers Duncan