* <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
+* <https://bugs.libre-soc.org/show_bug.cgi?id=1024> continuation and completion of Type II
+ (DSL) astraction, for completing PartitionedSIMD.
# Proposal Summary