CoreMark score too high for Rocket core

[Diego de los Santos]

Hi,

I am running a single Rocket core SoC on an FPGA at 100MHz but when I
run CoreMark I get a score of around 2100. However, I think I should
expect around 2.1 CoreMark/MHz which does not match my results.

Here is the output of the run:

2K performance run parameters for coremark.
CoreMark Size : 666
Total ticks : 14002097629
Total time (secs): 14.002098
Iterations/Sec : 2142.536125
Iterations : 30000
Compiler version : GCC9.2.0
Compiler flags : -O2
Memory location : Please put data memory location here
(e.g. code in flash, data on heap etc)
seedcrc : 0xe9f5
[0]crclist : 0xe714
[0]crcmatrix : 0x1fd7
[0]crcstate : 0x8e3a
[0]crcfinal : 0x5275
Correct operation validated. See README.md for run and reporting rules.
CoreMark 1.0 : 2142.536125 / GCC9.2.0 -O2 / Heap

Thanks,
Diego