Fix signal names: go/rel -> go_i/rel_o

[soc.git] / src / soc / fu / compunits / formal / proof_fu.py

diff --git a/src/soc/fu/compunits/formal/proof_fu.py b/src/soc/fu/compunits/formal/proof_fu.py
index 56c75b7ba3f3bf57b02038f85a6e42a6e14b8fa7..dd6c743eb0906a96580c42e143bac2d405387d7e 100644 (file)
--- a/src/soc/fu/compunits/formal/proof_fu.py
+++ b/src/soc/fu/compunits/formal/proof_fu.py
@@ -32,11 +32,11 @@ class Driver(Elaboratable):
         issue = dut.issue_i
         busy = dut.busy_o
 
-        go_rd = dut.rd.go
-        rd_rel = dut.rd.rel
+        go_rd = dut.rd.go_i
+        rd_rel = dut.rd.rel_o
 
-        go_wr = dut.wr.go
-        wr_rel = dut.wr.rel
+        go_wr = dut.wr.go_i
+        wr_rel = dut.wr.rel_o
 
         go_die = dut.go_die_i
         shadow_n = dut.shadown_i