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

Michael Nolan mtnolan2640 at gmail.com
Mon May 25 17:39:22 BST 2020

Previous message (by thread): [libre-riscv-dev] daily kan-ban update 25may2020
Next message (by thread): [libre-riscv-dev] daily kan-ban update 25may2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Today I'm working on understanding how the MultiCompUnit from 
compalu_multi.py works, and how to go about formally verifying it.

--Michael

Previous message (by thread): [libre-riscv-dev] daily kan-ban update 25may2020
Next message (by thread): [libre-riscv-dev] daily kan-ban update 25may2020
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the libre-riscv-dev mailing list