From: Cesar Strauss Date: Sat, 28 Nov 2020 17:59:30 +0000 (-0300) Subject: Fix signal names: go/rel -> go_i/rel_o X-Git-Tag: 24jan2021_ls180~78 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=041affe55388ff708be4950e6ca847b21a55143b;p=soc.git Fix signal names: go/rel -> go_i/rel_o --- 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