mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-29 10:23:47 +00:00
Code Activity

Fix test desc.

Browse source
This commit is contained in:
nella 2026-07-24 12:07:10 +02:00
parent 2b6214ad71
commit 5e59deecc3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/arch/nexus/dsp_equiv.ys
View file

@ -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