projects / soc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 27ca385)
document shadown inversion
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 25 May 2020 19:00:45 +0000 (20:00 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 25 May 2020 19:00:47 +0000 (20:00 +0100)
src/soc/fu/compunits/formal/proof_fu.py patch | blob | history

diff --git a/src/soc/fu/compunits/formal/proof_fu.py b/src/soc/fu/compunits/formal/proof_fu.py
index 340510e127dcd2bd702ba4ece4dacdb71df67e29..578300d3b58743a9ba2c8a3d65aa6e7942a59457 100644 (file)
--- 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()