mor1kx
mor1kx copied to clipboard
Setting dcache cache width to 2 or 3 causes failures
This can be tested by setting the cache with in mor1k_dcache.sby and running make -C bench/formal mor1kx_dcache.
It seems the generator logic does not work with smaller cache widths.