3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-04-28 23:03:39 +00:00

symfpu: Verifying rounding modes

Works for everything but muladd.
Which I saw coming, but am still frustrated by.
This commit is contained in:
Krystine Sherwin 2026-03-11 12:58:54 +13:00
parent cd28709b81
commit a0a0b2ce84
No known key found for this signature in database
3 changed files with 75 additions and 59 deletions

@ -1 +1 @@
Subproject commit ac38165068f507d2b46ad16b870272f0ca5a6c0a
Subproject commit 7ef44ec4a91de1635b3c837dc00ea5b570b3e871