From 27ca385067a6f9db3b73dda16542db452a261550 Mon Sep 17 00:00:00 2001 From: Michael Nolan Date: Mon, 25 May 2020 14:53:49 -0400 Subject: [PATCH] Add link to compunit wiki page --- src/soc/fu/compunits/formal/proof_fu.py | 7 +++++++ 1 file changed, 7 insertions(+) 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, -- 2.30.2