+14 −4

README.md

cores/VexRiscv/README.md

+1,359 −1,488

VexRiscv.v

cores/VexRiscv/VexRiscv.v

+2 −2

checks.cfg

cores/VexRiscv/checks.cfg

+21 −0

dmemcheck.sby

cores/VexRiscv/dmemcheck.sby

+116 −0

dmemcheck.sv

cores/VexRiscv/dmemcheck.sv

+20 −0

imemcheck.sby

cores/VexRiscv/imemcheck.sby

+105 −0

imemcheck.sv

cores/VexRiscv/imemcheck.sv