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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Fri May 29 13:04:33 BST 2020


* continued review/assistance Tobias DataMerger
* continued guess-work on regfile formal proof
* started a compunit variant of test_pipe_caller for ALU.  discovered
that MultiCompUnit is not pipeline-compliant.


* continue investigating non-compliance with pipeline API.  Cesar:
this *does not* affect what you are doing.


crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68

More information about the libre-riscv-dev mailing list