12 Commits

Author	SHA1	Message	Date
Krystine Sherwin	1f598c7383	tests/symfpu: Extra muladd tests ... Switch inputs back to `anyseq`, and add coverage for muladd with constant multiplier output and varying addend (also an assertion). Use an `ifdef` to control clocked properties (because of the assertion, it's no longer just covers that are clocked).	2026-03-11 12:58:57 +13:00
Krystine Sherwin	6333cf7bc9	tests/symfpu: Testing sqrt ... Coverage supports `sqrt`, including new general rounding detection instead of just inf/ebmin/zero (since they aren't possible with `sqrt`). More `sqrt` assertions, as well as the addition of `altsqrt` verification. Some adjustments of macros.	2026-03-11 12:58:57 +13:00
Krystine Sherwin	1312668092	symfpu: Add altdiv	2026-03-11 12:58:56 +13:00
Krystine Sherwin	57e6baf287	tests/symfpu: Add cover checks ... Include mask/map for abc inputs (and switch to `anyconst` instead of `anyseq`). Add false divide check for mantissa. Covers aren't currently being tested by anything (and have to be removed for `sat`), but I've been using it locally with SBY to confirm that the different edge cases are able to be verified (e.g. when verifying HardFloat against symfpu while using the masked inputs to reduce solver time).	2026-03-11 12:58:56 +13:00
Krystine Sherwin	6fd4bde7e6	Fix tininess when rounding to ebmin	2026-03-11 12:58:56 +13:00
Krystine Sherwin	f0bfc87e27	tests/symfpu: UF to ebmin is valid	2026-03-11 12:58:55 +13:00
Krystine Sherwin	b4186e2295	Don't raise DZ when left is inf	2026-03-11 12:58:55 +13:00
Krystine Sherwin	7b270a79c0	symfpu: Dynamic rounding mode	2026-03-11 12:58:55 +13:00
Krystine Sherwin	cc4e9e52a8	symfpu: floatWithStatusFlags ... Now with verified muladd exceptions.	2026-03-11 12:58:54 +13:00
Krystine Sherwin	a0a0b2ce84	symfpu: Verifying rounding modes ... Works for everything but muladd. Which I saw coming, but am still frustrated by.	2026-03-11 12:58:54 +13:00
Krystine Sherwin	cd28709b81	symfpu: Configurable rounding modes ... Including tests, but currently only testing rounding modes on multiply. Also missing the ...01 case.	2026-03-11 12:58:54 +13:00
Krystine Sherwin	c1bc302174	symfpu: Add flags ... Use symfpu fork. Add tests for symfpu properties and extra edge case checking for flags.	2026-03-11 12:58:53 +13:00