3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-06 17:11:01 +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-06-06 09:34:41 +12:00
parent 58c2c95618
commit 2af3557373
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