[libre-riscv-dev] daily kan-ban update 11jul2020

[Luke Kenneth Casson Leighton]

task list:

https://bugs.libre-soc.org/showdependencytree.cgi?maxdepth=1&id=383&hide_resolved=1

yesterday:

* sorting out div, particularly overflow.
* helping samuel get up and running

today:

* tracked down issue with whitequark that jacob highlighted, on vcd files
* added "overflow calculation" to MUL pseudocode
* added more MUL unit tests


i'm starting to become reasonably confident that MUL and DIV are
functionally correct.  checking against first qemu then actual POWER9 would
help with that.

the only downside being that the blocks are so massive that we can't
realistically use them as-is.  however the unit tests give us a baseline to
"codemorph" against.

still the biggest next milestone is being able to select littlend/bigend
code in order to run microwatt unit tests.  still thinking that through.

l.



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