From 5b7fbaa29b5a670704a0007ed521e8e50e409732 Mon Sep 17 00:00:00 2001 From: "Samuel A. Falvo II" Date: Sat, 29 Aug 2020 16:27:54 -0700 Subject: [PATCH] Fix test breakage in MUL proofs --- src/soc/fu/mul/formal/proof_main_stage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/soc/fu/mul/formal/proof_main_stage.py b/src/soc/fu/mul/formal/proof_main_stage.py index 7b80e344..873a1636 100644 --- a/src/soc/fu/mul/formal/proof_main_stage.py +++ b/src/soc/fu/mul/formal/proof_main_stage.py @@ -110,7 +110,7 @@ class Driver(Elaboratable): # Assert that XER_SO propagates through as well. # Doesn't mean that the ok signal is always set though. - comb += Assert(xer_ov_o == dut.i.xer_so) + comb += Assert(dut.o.xer_so.data == dut.i.xer_so) # main assertion of arithmetic operations with m.Switch(rec.insn_type): -- 2.30.2