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

[Luke Kenneth Casson Leighton]

---
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.

l.