From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 25 May 2020 19:00:45 +0000 (+0100)
Subject: document shadown inversion
X-Git-Tag: div_pipeline~824
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=11068a9a3ad3593391a00359b90be75f871d336e;p=soc.git

document shadown inversion
---

diff --git a/src/soc/fu/compunits/formal/proof_fu.py b/src/soc/fu/compunits/formal/proof_fu.py
index 340510e1..578300d3 100644
--- a/src/soc/fu/compunits/formal/proof_fu.py
+++ b/src/soc/fu/compunits/formal/proof_fu.py
@@ -40,7 +40,7 @@ class Driver(Elaboratable):
         wr_rel = dut.wr.rel
 
         go_die = dut.go_die_i
-        shadow = dut.shadown_i
+        shadow = dut.shadown_i # note this is inverted (name shadow>N<)
 
         rst = ResetSignal()