cvw/wally-pipelined
Noah Boorstin c75455cc41 busybear testbench updates
start speculative checking on CSR* satp, *
add some slight delays in some CSR checkings to make them deterministic

I realize this verilog is incredibly un-idiomatic. But I still don't
know of anything better. If you figure it out, please let me know
2021-04-14 00:00:27 -04:00
..
bin Added possibly working OSU test bench as a precursor to running a bp benchmark. 2021-03-17 11:06:32 -05:00
config Implement support for superpages 2021-04-08 02:44:59 -04:00
misc/tlb_toy Various code syntax changes to bring HDL to a synthesizable level 2021-04-13 11:27:12 -05:00
ppa Config file for ppa experiments 2021-03-25 10:23:21 -05:00
regression Merge branch 'main' of https://github.com/davidharrishmc/riscv-wally into main 2021-04-08 14:28:25 -04:00
src Fix mmu lint errors 2021-04-13 19:19:58 -04:00
testbench busybear testbench updates 2021-04-14 00:00:27 -04:00
testgen Latest IE tests with timer interupts 2021-04-08 17:53:39 -04:00
lint-wally Extend lint-wally to lint both rv32 and rv64 2021-03-30 22:42:28 -04:00