+* <https://bugs.libre-soc.org/show_bug.cgi?id=418>
+ - SPR pipeline formal correctness proof needed
+ - EUR 350 (shared with [[lkcl]]
+* <https://bugs.libre-soc.org/show_bug.cgi?id=421>
+ - TRAP pipeline formal correctness proof needed
+* <https://bugs.libre-soc.org/show_bug.cgi?id=419>
+ - MUL pipeline formal proof needed