Krystine Sherwin
7b5d334603
symfpu_convert: Handle signed ints
...
Use input wire `is_signed` to select between signed and unsigned handling.
2026-07-15 14:50:32 +12:00
Krystine Sherwin
50c4a057b2
symfpu: Use ubv for convert flags
2026-07-15 14:50:31 +12:00
Krystine Sherwin
675087937f
symfpu: Convert with flags
2026-07-15 14:50:31 +12:00
Krystine Sherwin
dfec87e6a3
symfpu: Add symfpu_convert
...
Convert one input to three outputs (int -> float, float -> int, float -> float).
No rounding mode, no flags (yet).
2026-07-15 14:50:31 +12:00
Krystine Sherwin
613d95b909
symfpu: Test comparisons
2026-07-15 14:50:30 +12:00
Krystine Sherwin
7a6b36b670
symfpu: Add -compare mode
...
Also `min` and `max` ops. RISC-V uses IEEE 754-2019 semantics where `min(+0,-0) == -0` and `max(+0,-0) == +0` so we do the same here. We could make it optional, but as I understand it the newer behavior is still backwards compatible (since previously it was valid to have selected either).
2026-07-15 14:50:30 +12:00
Krystine Sherwin
16f6e8dc6a
Add symfpu -classify
...
Add description text for standard `symfpu` signature.
2026-07-15 14:50:30 +12:00
Krystine Sherwin
4134436a9f
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-07-15 14:50:29 +12:00
Krystine Sherwin
b66c0dcc97
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-07-15 14:50:29 +12:00
Krystine Sherwin
9943484dbc
symfpu: Add altsqrt
...
No denormalization here. That can be a problem for later (or not at all).
2026-07-15 14:50:29 +12:00
Krystine Sherwin
91928a7329
symfpu: Add alt2div
...
`altdiv` but without denormalization, because as it turns out HardFloat unpacks subnorms in the same way, so lets just support both styles.
2026-07-15 14:50:29 +12:00
Krystine Sherwin
db676a2eae
symfpu: Add altdiv
2026-07-15 14:50:28 +12:00
Krystine Sherwin
3f22dabb8d
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-07-15 14:50:28 +12:00
Krystine Sherwin
b818e1c8ca
Fix tininess when rounding to ebmin
2026-07-15 14:50:28 +12:00
Krystine Sherwin
5751023b6c
tests/symfpu: UF to ebmin is valid
2026-07-15 14:50:27 +12:00
Krystine Sherwin
70dad5a06e
Don't raise DZ when left is inf
2026-07-15 14:50:27 +12:00
Krystine Sherwin
717f7c5d3a
symfpu: Dynamic rounding mode
2026-07-15 14:50:27 +12:00
Krystine Sherwin
56e61ee839
symfpu: Tidying output
...
Also switching to cleaner library branch
2026-07-15 14:50:26 +12:00
Krystine Sherwin
2dcaa944bf
symfpu: floatWithStatusFlags
...
Now with verified muladd exceptions.
2026-07-15 14:50:26 +12:00
Krystine Sherwin
e44aeda246
symfpu: Verifying rounding modes
...
Works for everything but muladd.
Which I saw coming, but am still frustrated by.
2026-07-15 14:50:26 +12:00
Krystine Sherwin
2b39569477
symfpu: Configurable rounding modes
...
Including tests, but currently only testing rounding modes on multiply.
Also missing the ...01 case.
2026-07-15 14:50:25 +12:00
Krystine Sherwin
1347790f4d
symfpu: Add flags
...
Use symfpu fork.
Add tests for symfpu properties and extra edge case checking for flags.
2026-07-15 14:50:25 +12:00
Krystine Sherwin
625aecb5d3
symfpu: Configurable op
2026-07-15 14:50:07 +12:00
Krystine Sherwin
648fb01ffc
symfpu: Configurable eb and sb
2026-07-15 14:50:06 +12:00
Jannis Harder
0ef11ee048
wip: symfpu pass
2026-07-15 14:50:06 +12:00
Emil J
d4f39588a7
Merge pull request #6038 from YosysHQ/emil/dfflibmap-fix-resetval
...
dfflibmap: fix resetval clobber
2026-07-14 18:41:59 +00:00
Emil J. Tywoniak
eb96123030
dfflibmap: add regression test for resetval clobber
2026-07-14 18:02:02 +02:00
Emil J. Tywoniak
332ea782eb
dfflibmap: fix resetval clobber
2026-07-14 15:01:31 +02:00
Miodrag Milanović
22c15a7ecd
Merge pull request #6034 from YosysHQ/mmicko/system_libs
...
cmake: Use system libs when available
2026-07-13 15:50:10 +00:00
Miodrag Milanovic
3541e31457
Add option to use bundled libs
2026-07-13 16:50:06 +02:00
Miodrag Milanovic
30ba4328e7
Use system libs when available
2026-07-13 15:26:00 +02:00
nella
dddf137888
Merge pull request #6024 from YosysHQ/nella/scl-build-date
...
Include build datetime in scl cache hash
2026-07-13 11:54:45 +00:00
Miodrag Milanović
0e82bbefe5
Merge pull request #6027 from YosysHQ/mmicko/skip_fix
...
codecov: fix not skipping when pushing on
2026-07-10 16:12:03 +00:00
Miodrag Milanovic
0f8f70eb84
codecov: fix not skipping when pushing on
2026-07-10 17:55:11 +02:00
Miodrag Milanović
6fdd5bb11e
Merge pull request #6026 from YosysHQ/mmicko/coverage_main
...
codecov: Upload coverage on main
2026-07-10 15:25:25 +00:00
Miodrag Milanovic
16766b26e9
codecov: Upload coverage on main
2026-07-10 17:09:20 +02:00
nella
ede98b81ac
Merge pull request #6023 from b-michi/michaelbaier/sc-649/segmentation-fault-during-proc-init-with
...
Michaelbaier/sc 649/segmentation fault during proc init with
2026-07-10 13:07:58 +00:00
nella
eb93f5a066
Add scl caching test.
2026-07-10 14:52:06 +02:00
nella
68aaa34975
Reformat scl cache.
2026-07-10 14:51:58 +02:00
Michael Baier
dca9234d86
Testcases for new truncation checks
2026-07-10 14:37:19 +02:00
Michael Baier
8f0028652a
long long to int truncation checks
2026-07-10 14:36:39 +02:00
Miodrag Milanović
be51f7a92c
Merge pull request #6025 from YosysHQ/mmicko/disable_comment
...
codecov: Disable PR comments for now
2026-07-10 11:48:27 +00:00
Miodrag Milanovic
10fcf7a593
codecov: Disable PR comments for now
2026-07-10 13:33:59 +02:00
nella
b678c238e4
Include build datetime in scl cache hash.
2026-07-10 12:44:34 +02:00
Miodrag Milanović
11c30749a4
Merge pull request #6000 from YosysHQ/codecov
...
Add initial codecov support
2026-07-10 10:42:54 +00:00
Miodrag Milanovic
76378e6eb9
Do not add comments in PR
2026-07-10 12:26:47 +02:00
Miodrag Milanovic
f2f3f31646
Add initial codecov support
2026-07-10 12:19:59 +02:00
Michael Baier
1dbefdbd49
Modified pyosys generator.py to support constexpr
2026-07-09 16:32:01 +02:00
Michael Baier
58fc67ee66
Adding Width check to resize
2026-07-09 14:34:56 +02:00
Michael Baier
086c50763d
Tescases for Width Limit, Resize and Overflow
2026-07-09 14:34:56 +02:00
