Open stffrdhrn opened 2 years ago
This can be tested by setting the cache with in mor1k_dcache.sby and running make -C bench/formal mor1kx_dcache.
mor1k_dcache.sby
make -C bench/formal mor1kx_dcache
It seems the generator logic does not work with smaller cache widths.
This can be tested by setting the cache with in
mor1k_dcache.sby
and runningmake -C bench/formal mor1kx_dcache
.It seems the generator logic does not work with smaller cache widths.