Verification

Fix rvfi for BRAM variants, add parameter checks #62

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Run rvtests	2m 25s
BMC insn checks	25m 14s
Cover reg checks	30s
Cover insn checks	7m 36s
Run RISCOF tests	53m 5s
BMC reg checks	2m 3s
	1h 30m 53s