+11. Formal Proof for CompUnit
+ <https://bugs.libre-soc.org/show_bug.cgi?id=342>
+
+12. Formal Proof for PartitionedSignal
+ <https://bugs.libre-soc.org/show_bug.cgi?id=565>
+ Status: in progress
+
+13. Implement simple VL for-loop in nMigen for TestIssuer
+ <https://bugs.libre-soc.org/show_bug.cgi?id=583>
+ Status: in progress
+