From: Michael Nolan <mtnolan2640@gmail.com>
Date: Wed, 20 May 2020 17:11:18 +0000 (-0400)
Subject: Fix bug introduced in rebase
X-Git-Tag: div_pipeline~1024
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7b94e53f63a14038c188b369dcd2e33d5d8db824;p=soc.git

Fix bug introduced in rebase
---

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]: