[libre-riscv-dev] daily kan-ban update 20may2020
Luke Kenneth Casson Leighton
lkcl at lkcl.net
Wed May 20 17:23:45 BST 2020
On Wed, May 20, 2020 at 4:50 PM Michael Nolan <mtnolan2640 at gmail.com> wrote:
> It looks like I'm working formal proofs today! I started out by making
> sure the alu's 32 bit carry was working correctly and kinda branched out
> from there... After lunch I think I'll work on the overflow and
> overflow32 ports for alu and checking the outputs of the CR pipeline.
nice. can you raise the associated bugreports (like i just did here
i'll help fill them in.
More information about the libre-riscv-dev