| [openhw-pmc] Committer Election for Robin Pedersen on OpenHW Group CORE-V Cores has started |
A committer election for Robin Pedersen on project OpenHW Group CORE-V Cores (openhw.corev) was started by Henrik Fegran with this criteria: Robin Pedersen has been a substantial contributor to the OpenHW Group CORE-V Cores team and has already made a significant impact on the core-v-verif project (more than 25k lines of code added/changed and 345 commits merged in 130PRs). He has addressed the following bugs: - https://github.com/openhwgroup/core-v-verif/pull/1852 fix idv flist inclusion #1852 - https://github.com/openhwgroup/core-v-verif/pull/1823 UVMA RVFI - Remove 40s-dependency #1823 - https://github.com/openhwgroup/core-v-verif/pull/1678 Fix directed tests compilation #1678 - https://github.com/openhwgroup/core-v-verif/pull/1636 PMP Assert - Fix CEXes #1636 - https://github.com/openhwgroup/core-v-verif/pull/1631 RVFI Assert - Fix CEXes #1631 - https://github.com/openhwgroup/core-v-verif/pull/1630 OBI Asserts - Make Formal-Friendly #1630 - + Many more He has also contributed to the following features on core-v-verif: - cv32e40s/x assertions and/or coverage for the following core features: -- OBI -- PMA -- PMP -- User mode -- Counter coverage -- Exception coverage - cv32e40s/x directed tests: -- PMP -- PMA -- Fence.i - core-v-verif infrastructure: -- Repository restructuring effort -- Onespin bringup in OpenHW -- RVFI Assertions -- Questa Formal support -- UVM agent for ISACOV + Several others It is my pleasure to nominate Robin Pedersen as a committer on OpenHW Group CORE-V Cores. OpenHW Group CORE-V Cores project committers can click the election link below to vote. Election: https://projects.eclipse.org/projects/openhw.corev/elections/election-robin-pedersen-committer-openhw-group-core-v-cores Project: https://projects.eclipse.org/projects/openhw.corev