From 11068a9a3ad3593391a00359b90be75f871d336e Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Mon, 25 May 2020 20:00:45 +0100 Subject: [PATCH] document shadown inversion --- src/soc/fu/compunits/formal/proof_fu.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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() -- 2.30.2