[libre-riscv-dev] daily kan-ban update 22may2020
mtnolan2640 at gmail.com
Fri May 22 16:19:59 BST 2020
Yesterday I worked on porting the CR function unit to the new CR
interface (taking in several 4 bit CR fields instead of the full register).
Today I reworked the formal proof for the CR FU by adding a translation
layer so I could use most of the existing proof on the new interface. I
also ported the branch FU to use the new CR interface. This afternoon I
will probably work on writing a proof for the branch unit, and work some
on the bperm module with Cole.
More information about the libre-riscv-dev