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 9db7945763ae4ea55ad9dbdb2037295b98473fb2..340510e127dcd2bd702ba4ece4dacdb71df67e29 100644 (file)
--- 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,