Matheus Cavalcante

The DW Downsizer currently does not support `FIXED` bursts. If there is a need for downsizing, an incoming `FIXED` burst of length `len` should be converted into `len+1` `INCR` bursts.

This PR adds support for a single-laned configuration. It also updated the constraints on the `VLEN` for all configuration, which now are lower-bounded by `8 * 64 * NrLanes`. Closes...

Ara depends on a patched version of CVA6, which was forked from the [official version](https://github.com/openhwgroup/cva6) into the pulp-platform organization. We should use the official CVA6 repository instead, once the PRs...

There seems to be an issue in the `WAIT_WVALID` state: https://github.com/pulp-platform/axi_mem_if/blob/4d05b1f2855d3ef38103835b6a56ede6e5beb002/src/axi2mem.sv#L160-L171 Once in this state, the FSM jumps unconditionally to `WRITE`, regardless of the value of `w_last`. Under certain conditions,...

System stuck at wfi

1

After a clean install of Hwacha (i.e., running `make` where needed), both the verilated and vcs simulators get stuck at `_halt`'s `wfi` when running any test, even though the tests...