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

Cole Poirier colepoirier at gmail.com
Tue May 26 18:02:23 BST 2020


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 and this is important.


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.


More information about the libre-riscv-dev mailing list