publicUnclaimed/

RISCBoy

Clone

Design files

Luke WrenAdd frontend CIR-vs-memory formal consistency check. Currently passes BMC, but does not pass induction -- prefetch queue gets put into an unreachable state by the solver.23b662339

Name	Storage	Size
.. / Parent directory
ckcompress	Git	2.7 KB
extract_ref_nets	Git	2.4 KB
formal.mk	Git	786 B
gui_run.tcl	Git	291 B
listfiles	Git	3.5 KB
mkflashexec	Git	356 B
piceprog	Git	1.4 KB
regblock	Git	15.4 KB
sim_run.tcl	Git	8 B
sim.mk	Git	573 B
software.mk	Git	1.1 KB
synth_ice40.mk	Git	1.3 KB
uartprog	Git	6.7 KB
vhexwidth	Git	1.8 KB

Name	Storage	Size
.. / Parent directory
ckcompress	Git	2.7 KB
extract_ref_nets	Git	2.4 KB
formal.mk	Git	786 B
gui_run.tcl	Git	291 B
listfiles