[libre-riscv-dev] daily kan-ban update 20may2020

Michael Nolan mtnolan2640 at gmail.com
Wed May 20 16:50:47 BST 2020


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.

--Michael





More information about the libre-riscv-dev mailing list