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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Tue Jul 14 13:20:08 BST 2020


task list:

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

yesterday:

* got formal proof for extswsli working (w00t)
* closed more bugreports
* tried new cxxrtl Simulator

today:

* started on privileged instruction checking

rest of day:

* unit tests for priv instructions, need to set MSR PR bit in tests and see
if TRAP occurs
* look at SHIFTROT mask-based formal proofs.

l.

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




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


More information about the libre-riscv-dev mailing list