Closed Timmmm closed 3 weeks ago
The model contains
register vlenb : xlenbits
However this register contains no state and simply returns a hardcoded value VLEN/8 which is fixed at implementation time (it can't vary at runtime.
VLEN/8
We should replace it with a get_vlenb() function.
get_vlenb()
The model contains
However this register contains no state and simply returns a hardcoded value
VLEN/8which is fixed at implementation time (it can't vary at runtime.We should replace it with a
get_vlenb()function.