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
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
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
Emil J. Tywoniak
eb96123030
dfflibmap: add regression test for resetval clobber
2026-07-14 18:02:02 +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
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
Michael Baier
dca9234d86
Testcases for new truncation checks
2026-07-10 14:37:19 +02:00
Miodrag Milanovic
f2f3f31646
Add initial codecov support
2026-07-10 12:19:59 +02:00
Michael Baier
086c50763d
Tescases for Width Limit, Resize and Overflow
2026-07-09 14:34:56 +02:00
Michael Baier
3adb423e9e
Added Testcase for bug1206
2026-07-09 14:34:56 +02:00
Lofty
75286287c6
Merge pull request #5973 from YosysHQ/lofty/abc-refactor-7
...
Move rename logic to abc_ops_reintegrate
2026-07-09 08:46:46 +00:00
nella
8dc32cbf4e
Merge pull request #6012 from YosysHQ/nella/fix-opt-reduce
...
`opt_reduce`: restore pmux b-slice == a elim
2026-07-08 13:36:04 +00:00
nella
f6d810acf9
Restore pmux elim.
2026-07-08 11:58:30 +02:00
nella
f5809a7c2c
Merge branch 'main' into nella/latch-toggle
2026-07-08 11:41:08 +02:00
Miodrag Milanovic
8ad4ffcdd1
Cleanup
2026-07-08 08:34:01 +02:00
nella
8a2499b544
Merge pull request #5986 from YosysHQ/nella/x-wildcard
...
fix case item containing x/z treated as wildcard in proc_rmdead
2026-07-07 08:00:02 +00:00
Lofty
4e30b5c47b
Merge pull request #5997 from mole99/leo/fabulous-updates
...
FABulous Updates
2026-07-07 06:35:32 +00:00
nella
310016a812
Rm.
2026-07-07 04:03:17 +02:00
nella
006cbc8f72
Merge pull request #5842 from YosysHQ/nella/opt_dff_elim_improvements
...
opt_dff: Eliminate equivalent bits
2026-07-06 12:02:50 +00:00
nella
0e56ca02ed
Make opt_dff -sat conflict with -keepdc.
2026-07-06 13:47:10 +02:00
nella
2b4ec9d57a
Fix covers_nothing.
2026-07-06 13:26:00 +02:00
Leo Moser
e87d8e162e
fabulous: update tests for new options
...
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-07-01 13:38:44 +02:00
Leo Moser
655cb40d0f
fabulous: add --cells-map option
...
Signed-off-by: Leo Moser <leomoser99@gmail.com>
2026-06-30 16:09:51 +02:00
nella
6a45e7b290
Add tests.
2026-06-25 11:14:54 +02:00
nella
6675c45e29
Fix (async latch).
2026-06-24 13:01:52 +02:00
nella
a800a5b5cb
Fix.
2026-06-24 12:13:55 +02:00
nella
a8b4715298
Fix.
2026-06-24 11:48:20 +02:00
nella
1186e5af61
Fix.
2026-06-24 11:11:19 +02:00
nella
a3b8609c84
Add -nolatches check option.
2026-06-24 10:38:10 +02:00
Miodrag Milanovic
a689342207
Remove trailing whitespaces
2026-06-23 07:24:59 +02:00
Miodrag Milanovic
48a3dcc02a
End of file fix
2026-06-23 07:23:41 +02:00
Miodrag Milanovic
3ac58b3ac1
Fixed line endings
2026-06-23 07:17:22 +02:00
Miodrag Milanovic
1f0ac8fffc
Remove utf-8 marker
2026-06-23 07:14:20 +02:00
Miodrag Milanovic
f362e1db0e
Remove executable flag from .v files
2026-06-23 07:12:43 +02:00
KrystalDelusion
e20a9168fb
Merge pull request #5971 from YosysHQ/krys/upto_indexing
...
write_verilog: Fix upto indexing for single bit
2026-06-22 23:04:16 +00:00
nella
57ec784983
Merge pull request #5953 from YosysHQ/nella/muxcover-enhancements
...
Add muxcover x peepopt regression test (#964 ).
2026-06-22 10:13:43 +00:00
nella
8f5d2d5894
Use -assert-none.
2026-06-22 11:12:00 +02:00
nella
3d0c868af0
Merge pull request #5952 from YosysHQ/nella/vector-index
...
Optimize upto vector indexing (Fix #892 ).
2026-06-22 09:05:26 +00:00
nella
6ffc938a75
Merge pull request #5701 from YosysHQ/gus/sim-with-vcd-tuneup
...
Add warnings and errors to `sim -r` with VCD code path
2026-06-22 09:02:32 +00:00
Lofty
091d2a7814
Move rename logic to abc_ops_reintegrate
2026-06-19 10:46:47 +01:00
