From: lkcl <lkcl@web>
Date: Sat, 13 Feb 2021 12:15:24 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~190
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f48a5ff55fd09acbaaf9bca32a61478918289afe;p=libreriscv.git

---

diff --git a/3d_gpu/architecture/dynamic_simd.mdwn b/3d_gpu/architecture/dynamic_simd.mdwn
index e2e694da1..6cc694b98 100644
--- a/3d_gpu/architecture/dynamic_simd.mdwn
+++ b/3d_gpu/architecture/dynamic_simd.mdwn
@@ -5,7 +5,9 @@ Links:
 * <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=565> Formal proof
+* <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
+
 
 To save hugely on gate count the normal practice of having separate scalar ALUs and separate SIMD ALUs is not followed.