# Links
+* <https://bugs.libre-soc.org/show_bug.cgi?id=594> RFC for nmigen integration
+ (this document)
* <https://bugs.libre-soc.org/show_bug.cgi?id=115> top level SIMD
* <https://bugs.libre-soc.org/show_bug.cgi?id=458> m.If/Switch
* <https://bugs.libre-soc.org/show_bug.cgi?id=707> Limited Cat
-* <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
* <https://bugs.libre-soc.org/show_bug.cgi?id=713> Partition-context-sensitive length adjustment