A fork of the Open Hardware Groups core-v-verif repository supporting verification of mainly the CV32E40X core and the ava-core accelerator using the XIF. - View it on GitHub