From 7b94e53f63a14038c188b369dcd2e33d5d8db824 Mon Sep 17 00:00:00 2001 From: Michael Nolan Date: Wed, 20 May 2020 13:11:18 -0400 Subject: [PATCH] Fix bug introduced in rebase --- src/soc/fu/alu/formal/proof_main_stage.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/soc/fu/alu/formal/proof_main_stage.py b/src/soc/fu/alu/formal/proof_main_stage.py index 91aaac5b..960342ce 100644 --- a/src/soc/fu/alu/formal/proof_main_stage.py +++ b/src/soc/fu/alu/formal/proof_main_stage.py @@ -75,7 +75,7 @@ class Driver(Elaboratable): comb += Assert(Cat(o, carry_out) == (a + b + carry_in)) # CA32 - XXX note this fails! replace with carry_in and it works - comb += Assert((a[0:32] + b[0:32] + carry_in32)[32] + comb += Assert((a[0:32] + b[0:32] + carry_in)[32] == carry_out32) with m.Case(InternalOp.OP_EXTS): for i in [1, 2, 4]: -- 2.30.2