-
Notifications
You must be signed in to change notification settings - Fork 0
Verifies that Floating Point Unit used within SiFive's S-series is correct. Specifically, that Hauser's design allocates enough bits to its rem register to prevent an overflow during floating point square root and division operations.
llee454/FPU-Verification
About
Verifies that Floating Point Unit used within SiFive's S-series is correct. Specifically, that Hauser's design allocates enough bits to its rem register to prevent an overflow during floating point square root and division operations.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published