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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Tue May 26 18:24:05 BST 2020

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

On Tue, May 26, 2020 at 6:02 PM Cole Poirier <colepoirier at gmail.com> wrote:
> Yesterday:
> Did a very small amount of work on the virtual port with luke, I believe
> he's taken this over, which is good because I was struggling

so am i.  sigh.

> and this is important.

please do keep an eye on it, keep asking questions ok?

> Today:
> Yesterday Luke asked me to raise a bug report for RegFile and
> RegFileArray proofs needed, so today I plan on trying to formally prove
> regfile. Input or advice on this at bug 353 is appreciated.
> (https://bugs.libre-soc.org/show_bug.cgi?id=353)

start from the proof_bperm.py or proof_fu.py as the basic template.
we can work it out.


More information about the libre-riscv-dev mailing list