Arguably OpenXiangShan should be more powerful, but verilog simulation isn't really that usable in practice, and it has no working vector support yet. (the dev branch currently hangs after a few minutes of simulating)