From: Marcelina Kościelnicka <mwk@0x04.net>
Date: Sun, 6 Feb 2022 11:48:44 +0000 (+0100)
Subject: nexus: Fix arith_map CO signal.
X-Git-Tag: yosys-0.14~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=958c3a46ad84917e6f1ba06f5eac3ccda1964c2b;p=yosys.git

nexus: Fix arith_map CO signal.

Fixes #3187.
---

diff --git a/techlibs/nexus/arith_map.v b/techlibs/nexus/arith_map.v
index 9a1fedfc8..81ab7ba54 100644
--- a/techlibs/nexus/arith_map.v
+++ b/techlibs/nexus/arith_map.v
@@ -90,7 +90,7 @@ module _80_nexus_alu (A, B, CI, BI, X, Y, CO);
 
 		assign CO[i] = (AA[i] && BB[i]) || ((Y[i] ^ AA[i] ^ BB[i]) && (AA[i] || BB[i]));
 		if (i+1 < Y_WIDTH) begin
-			assign CO[i + 1] = (AA[i] && BB[i]) || ((Y[i] ^ AA[i] ^ BB[i]) && (AA[i] || BB[i]));
+			assign CO[i + 1] = (AA[i + 1] && BB[i + 1]) || ((Y[i + 1] ^ AA[i + 1] ^ BB[i + 1]) && (AA[i + 1] || BB[i + 1]));
 			assign Y[i+1] = Y1[i];
 		end
 	end endgenerate