- <https://bugs.libre-soc.org/show_bug.cgi?id=565> Partitioning Proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=546> Data merging FSM
- EUR
- - <https://bugs.libre-soc.org/show_bug.cgi?id=556> SV Overview
- <https://bugs.libre-soc.org/show_bug.cgi?id=213> SV Spec
- <https://bugs.libre-soc.org/show_bug.cgi?id=214> ISAMux writeup
- <https://bugs.libre-soc.org/show_bug.cgi?id=202> HDL changes for coriolis2
## Completed but not yet submitted:
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=556> SV Overview
+ - EUR 900
+ - shared with aoliva
- <https://bugs.libre-soc.org/show_bug.cgi?id=557> AV Opcode documentation
- EUR 1100
- shared with lauri, jacob