[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 mailing list