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.