--- /dev/null
+# PartitionedSignal nmigen-aware Repl
+
+* <https://bugs.libre-soc.org/show_bug.cgi?id=458>
+
+Partitioned Repl is very similar to [[cat]] and
+[[assign]].  The output completely changes depending
+on the partition mask.
+
+Take a PartitionedSignal:
+
+    partition:      p    p    p       (3 bits)
+    a        :  AAA3 AAA2 AAA1 AAA0  (32 bits)
+
+When the partitions are 32-bit, the output is:
+
+    partition:           p         p         p           (3 bits)
+    out      :  AAA3 AAA2 AAA1 AAA0 BBB3 BBB2 BBB1 BBB0  (64 bits)
+
+When 2x16, the top 2 halves of A and B are Catted together,
+and likewise the lower:
+
+    partition:           p         p         p           (3 bits)
+    out      :  AAA3 AAA2 BBB3 BBB2 AAA1 AAA0 BBB1 BBB0  (64 bits)
+
+Finally when 4x8, each byte is concatenated:
+
+    partition:           p         p         p           (3 bits)
+    out      :  AAA3 BBB3 AAA2 BBB2 AAA1 BBB1 AAA0 BBB0  (64 bits)
+