[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