* <https://bugs.libre-soc.org/show_bug.cgi?id=458> m.If/Switch
* <https://bugs.libre-soc.org/show_bug.cgi?id=115> top level SIMD
-* <https://bugs.libre-soc.org/show_bug.cgi?id=594> RFC
+* <https://bugs.libre-soc.org/show_bug.cgi?id=594> RFC for nmigen integration
* <https://bugs.libre-soc.org/show_bug.cgi?id=565> Formal proof of PartitionedSignal
* <https://bugs.libre-soc.org/show_bug.cgi?id=596> Formal proof of PartitionedSignal nmigen interaction