From: Michael Nolan <mtnolan2640@gmail.com>
Date: Mon, 25 May 2020 18:53:49 +0000 (-0400)
Subject: Add link to compunit wiki page
X-Git-Tag: div_pipeline~825
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27ca385067a6f9db3b73dda16542db452a261550;p=soc.git

Add link to compunit wiki page
---

diff --git a/src/soc/fu/compunits/formal/proof_fu.py b/src/soc/fu/compunits/formal/proof_fu.py
index 9db79457..340510e1 100644
--- a/src/soc/fu/compunits/formal/proof_fu.py
+++ b/src/soc/fu/compunits/formal/proof_fu.py
@@ -1,3 +1,10 @@
+# This is the proof for the computation unit/Function Unit/ALU
+# manager. Description here:
+# https://libre-soc.org/3d_gpu/architecture/compunit/
+
+# This attempts to prove most of the bullet points on that page
+
+
 from nmigen import (Module, Signal, Elaboratable, Mux, Cat, Repl,
                     signed, ResetSignal)
 from nmigen.asserts import (Assert, AnyConst, Assume, Cover, Initial,