Krystine Sherwin
82f074880a
symfpu: Use ubv for convert flags
2026-06-06 09:34:46 +12:00
Krystine Sherwin
e9f77001df
symfpu: Convert with flags
2026-06-06 09:34:46 +12:00
Krystine Sherwin
b0f9680fd9
symfpu: Add symfpu_convert
...
Convert one input to three outputs (int -> float, float -> int, float -> float).
No rounding mode, no flags (yet).
2026-06-06 09:34:46 +12:00
Krystine Sherwin
aa096d4e3f
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-06-06 09:34:45 +12:00
Krystine Sherwin
e429175533
Add symfpu -classify
...
Add description text for standard `symfpu` signature.
2026-06-06 09:34:45 +12:00
Krystine Sherwin
ba5756a1dc
symfpu: Add altsqrt
...
No denormalization here. That can be a problem for later (or not at all).
2026-06-06 09:34:44 +12:00
Krystine Sherwin
c6f6baf270
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-06-06 09:34:44 +12:00
Krystine Sherwin
67a6b10e7b
symfpu: Add altdiv
2026-06-06 09:34:43 +12:00
Krystine Sherwin
29036bc4a0
symfpu: Dynamic rounding mode
2026-06-06 09:34:42 +12:00
Krystine Sherwin
f81d37a67f
symfpu: Tidying output
...
Also switching to cleaner library branch
2026-06-06 09:34:42 +12:00
Krystine Sherwin
acd0e5680d
symfpu: floatWithStatusFlags
...
Now with verified muladd exceptions.
2026-06-06 09:34:41 +12:00
Krystine Sherwin
58c2c95618
symfpu: Configurable rounding modes
...
Including tests, but currently only testing rounding modes on multiply.
Also missing the ...01 case.
2026-06-06 09:34:41 +12:00
Krystine Sherwin
c02114af8a
symfpu: Add flags
...
Use symfpu fork.
Add tests for symfpu properties and extra edge case checking for flags.
2026-06-06 09:34:05 +12:00
Krystine Sherwin
a4bcb0eea4
symfpu: Configurable op
2026-06-06 09:33:00 +12:00
Krystine Sherwin
b3f3fe55e2
symfpu: Configurable eb and sb
2026-06-06 09:33:00 +12:00
Jannis Harder
75822ea17e
wip: symfpu pass
2026-06-06 09:32:59 +12:00
Miodrag Milanovic
102f008194
Remove EMSCRIPTEN leftovers
2026-06-05 10:03:27 +02:00
Miodrag Milanović
693d5a7eb0
Merge pull request #5903 from YosysHQ/krys/verific_memsize
...
verific: Fix non-contiguous memory flattening producing out of bounds accesses in some cases
2026-06-04 05:43:04 +00:00
Miodrag Milanovic
a599999d1f
Fixed warnings found by gcc-16
2026-06-03 13:09:38 +02:00
Catherine
afc0e78d11
Update top-level Python project for CMake compatibility.
...
This commit reimplements the (no longer recommended) setuptools based
build system using a standards-based in-tree PEP517 build backend.
The implementation is partially based on
https://codeberg.org/ziglang/zig-pypi/src/branch/main/make_wheels.py
which is licensed under BSD-0-clause.
It also adds a new option `YOSYS_BUILD_PYTHON_ONLY` that is available
only if the binary or the library aren't going to be installed, which
turns off these targets entirely, as well as some dependent ones
(e.g. tests).
Co-authored-by: Mohamed Gaber <me@donn.website>
2026-06-03 09:03:23 +00:00
Catherine
a727e7f6e7
Migrate build system to CMake
...
See #5895 for details.
This commit does not include CI or documentation changes.
2026-06-03 08:58:10 +00:00
Krystine Sherwin
f6327cc444
check_mem: Add -non-const option
...
Can identify potentially dangerous addressing, but also prone to false-positives.
2026-05-29 18:40:24 +12:00
Krystine Sherwin
07e3d648aa
Add check_mem command
...
Comes with a set of tests which (currently) pass with `read_verilog` but fail with `verific` based on #5878 .
Add `--check-sv`, an alternative to `--prove-sv` with generator defined yosys commands. Helpful for when you want to run the same set of commands on a bunch of sv files.
2026-05-29 18:40:23 +12:00
Miodrag Milanovic
75dcbe03c6
Convert RTLIL::unescape_id of IdString to unescape()
2026-05-16 19:49:45 +02:00
Miodrag Milanovic
8bbc3c359c
Remove id2cstr uses in our code base
2026-05-16 19:49:45 +02:00
Miodrag Milanović
1d87cefd80
Merge pull request #5882 from YosysHQ/std_cpp20
...
Bump required standard to C++20
2026-05-15 13:13:43 +00:00
Miodrag Milanovic
4a7878b17f
Fixing couple more conversion errors
2026-05-14 15:58:58 +02:00
Miodrag Milanovic
c6f53aec5f
Fixed log_id instances used with fprintf
2026-05-14 11:28:16 +02:00
Miodrag Milanovic
90e019e319
Fix compiling on GCC11
2026-05-13 10:11:36 +02:00
Codexplorer
e41b969da2
Refactored uses of log_id()
2026-05-08 20:59:24 -07:00
N. Engelhardt
240f7030b2
xprop: ignore $scopeinfo cells
2026-04-21 10:52:50 +02:00
Emil J
9746bd3897
Merge pull request #5724 from abhinavputhran/fix/setundef-respect-selection
...
setundef: respect selection for cells, processes, and connections
2026-03-18 22:53:06 +00:00
abhinavputhran
47c2257f82
setundef: more tests! and wire selection in -init mode
2026-03-08 19:41:31 -04:00
abhinavputhran
5048dac854
setundef: add tests for selection in -zero, -undriven, and -init modes. also made setundef.cc clearer
2026-03-06 18:12:03 -05:00
abhinavputhran
9e666c727f
setundef: respect selection in -undriven mode
2026-03-06 10:37:59 -05:00
Miodrag Milanovic
52533b0d1c
Update opt_lut_ins and stat for analogdevices and remove ecp5
2026-03-06 09:10:36 +01:00
abhinavputhran
6cd66aed47
setundef: rename process loop variable and respect selection in -init mode
2026-03-05 17:51:01 -05:00
abhinavputhran
df283fa1c9
setundef: use selected_processes() per review feedback
2026-03-05 11:22:00 -05:00
abhinavputhran
4e54853e35
setundef: use selected_processes() per review feedback
2026-03-05 11:16:07 -05:00
abhinavputhran
94c789e9c8
setundef: respect selection for cells, processes, and connections
...
Previously, setundef would rewrite sigspecs in all cells, processes,
and connections regardless of the active selection. Only modules and
memories were correctly filtered by selection.
Fix by using module->selected_cells() for cells, adding a
module->selected() check for processes, and checking wire selection
on the lhs of each connection before rewriting.
Fixes #5624
2026-03-04 17:48:35 -05:00
nella
66bd4716cf
rtlil use newcelltypes.
2026-03-04 12:39:45 +01:00
Emil J. Tywoniak
ecb8b20f62
yosys: use newcelltypes for yosys_celltypes users
2026-03-04 12:39:44 +01:00
KrystalDelusion
1d3f9b7905
Merge pull request #5687 from YosysHQ/nella/pdr-doc
...
Update help text for rename -witness and write_aiger -ywmap
2026-03-02 09:29:25 +13:00
nella
01e89a8f9e
Remove cell mentions.
2026-02-18 09:29:35 +01:00
nella
2b4f481850
Cleanup docs.
2026-02-18 09:24:41 +01:00
nella
e6e57b33e3
document abc --keep-going pdr [sc-220].
2026-02-15 09:00:04 +01:00
Gus Smith
8ab105ac28
Merge pull request #4303 from Coloquinte/sat_choice
...
Infrastructure to run a Sat solver as a command
2026-02-11 06:54:53 -08:00
Gus Smith
6f6fa49d3c
Typo
2026-02-09 09:05:56 -08:00
Miodrag Milanović
ac427a79b0
Merge pull request #5644 from nataliakokoromyti/upstream-linux-perf-unistd
...
Add unistd header for Linux
2026-01-30 08:17:43 +01:00
Emil J
a68fee1115
Merge pull request #5646 from rocallahan/debug-design_equal
...
Dump module details when `design_equal` fails
2026-01-29 18:57:24 +01:00
