From d00bcbe3691de59191e519dfcdc1a9e574ec7d5f Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Fri, 22 May 2020 21:30:56 +0100 Subject: [PATCH] remove xer.so from ShiftRot formal proof --- src/soc/fu/shift_rot/formal/proof_main_stage.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/soc/fu/shift_rot/formal/proof_main_stage.py b/src/soc/fu/shift_rot/formal/proof_main_stage.py index 129a9579..8ae7b629 100644 --- a/src/soc/fu/shift_rot/formal/proof_main_stage.py +++ b/src/soc/fu/shift_rot/formal/proof_main_stage.py @@ -39,7 +39,6 @@ class Driver(Elaboratable): ra = dut.i.a carry_in = dut.i.xer_ca[0] carry_in32 = dut.i.xer_ca[1] - so_in = dut.i.xer_so carry_out = dut.o.xer_ca o = dut.o.o @@ -48,7 +47,7 @@ class Driver(Elaboratable): b.eq(AnyConst(64)), carry_in.eq(AnyConst(1)), carry_in32.eq(AnyConst(1)), - so_in.eq(AnyConst(1))] + ] comb += dut.i.ctx.op.eq(rec) -- 2.30.2