From: lkcl <lkcl@web>
Date: Thu, 11 Feb 2021 08:27:13 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~209
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2e806cd90755e49b1e06b6c537f492728301c60e;p=libreriscv.git

---

diff --git a/3d_gpu/architecture/dynamic_simd.mdwn b/3d_gpu/architecture/dynamic_simd.mdwn
index 1e2cf1abe..a7bc929ee 100644
--- a/3d_gpu/architecture/dynamic_simd.mdwn
+++ b/3d_gpu/architecture/dynamic_simd.mdwn
@@ -2,8 +2,9 @@
 
 Links:
 
-* <https://bugs.libre-soc.org/show_bug.cgi?id=458>
-* <https://bugs.libre-soc.org/show_bug.cgi?id=594>
+* <https://bugs.libre-soc.org/show_bug.cgi?id=458> 
+* <https://bugs.libre-soc.org/show_bug.cgi?id=594> RFC
+* <https://bugs.libre-soc.org/show_bug.cgi?id=565> Formal proof
 
 To save hugely on gate count the normal practice of having separate scalar ALUs and separate SIMD ALUs is not followed.