rocket verification

[towoe]

Hello,

I have a few questions regarding the verification of the rocket core as I am not able to run it successfully.

00f6ff5 made a switch to a non public repo?

If using the alternate repo from freechipsproject, yosys must be compiled with verific support, which is not possible with only the evaluation license?

If I go back to dbb2d9b the check csrw_mcycle_ch1 fails with Warmup failed!. I did not investigate further as it might not make sense to work on an old state.

Am I wrong to assume that with out a verific license and access to the sifive repo, it is not possible to run the verification for the rocket core?

Thanks!

[cliffordwolf]

Hi, yes this moved to a private repo. We will switch back to the public rocket repo as soon as the version we a verifying right now is publicly released. Right now we use Verific for rocket but I hope that we will ultimately be able to support both Verilog front-ends for verifying rocket.

If you need access to this for a (academic) research project then we may be able to get you access to the rocket repo. (access to yosys+verific is the easier bit, see https://www.symbioticeda.com/research-partner-license-program-serp/. contact me at clifford-at-symbioticeda-dot-com)