From 041affe55388ff708be4950e6ca847b21a55143b Mon Sep 17 00:00:00 2001 From: Cesar Strauss Date: Sat, 28 Nov 2020 14:59:30 -0300 Subject: [PATCH] Fix signal names: go/rel -> go_i/rel_o --- src/soc/fu/compunits/formal/proof_fu.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/soc/fu/compunits/formal/proof_fu.py b/src/soc/fu/compunits/formal/proof_fu.py index 56c75b7b..dd6c743e 100644 --- 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 -- 2.30.2