This is what the OpenHW Foundaiton is for. Providing well verified cores for people who just need a core. They are based on the original Pulp Cores from the ETH Zürich and Unviersity of Bolongia. See:

https://openhwfoundation.org/

Or because its part of OpenTitan, Ibex sees a lot of development: https://github.com/lowRISC/ibex