luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
17,524 Commits 134 Branches 69 Tags 66 MiB
Commit Graph

2620 Commits

Author SHA1 Message Date
Krystine Sherwin 9dd5c3a6a4
symfpu: Run pre-commit 2026-07-15 14:56:11 +12:00
Krystine Sherwin e6bd07a49a
tests/symfpu: Switch to generate_mk.py 2026-07-15 14:50:33 +12:00
Krystine Sherwin 613d95b909
symfpu: Test comparisons 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 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