[libre-riscv-dev] daily kan-ban update 21may2020
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Thu May 21 16:35:58 BST 2020
On Thu, May 21, 2020 at 2:52 PM Michael Nolan <mtnolan2640 at gmail.com> wrote:
> This morning I fixed the broken test_adde (it broke because I hadn't
> added overflow support to caller.py).
ohh it was in the simulation code. ok.
> I think today I'll work on
> changing the CR unit to take in the individual cr bitfields instead of
> the whole CR as well as adding the necessary bits to the decoder to
> handle that.
> If I finish that, I'll work on more formal verification.
More information about the libre-riscv-dev