From 5e59deecc3b6ad6e42272381aa083ab5d2c2bd4d Mon Sep 17 00:00:00 2001 From: nella Date: Fri, 24 Jul 2026 12:07:10 +0200 Subject: [PATCH] Fix test desc. --- tests/arch/nexus/dsp_equiv.ys | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/arch/nexus/dsp_equiv.ys b/tests/arch/nexus/dsp_equiv.ys index 61b0df443..a79ae2cf4 100644 --- a/tests/arch/nexus/dsp_equiv.ys +++ b/tests/arch/nexus/dsp_equiv.ys @@ -96,7 +96,7 @@ design -copy-from gate -as gate mac_wide_s miter -equiv -make_assert -flatten gold gate equiv sat -seq 1 -set-init-zero -prove-asserts -verify equiv -# y = a*b - c (minuend mul) +# y = a*b - c (product is the minuend, cannot map to C - A*B, must not fuse) design -load src hierarchy -top mac_subrev_u proc