Krystine Sherwin
c3043b1ce5
symfpu: whitespace
2026-07-15 14:50:33 +12:00
Krystine Sherwin
d5b6a38f65
symfpu: Missed a space
2026-07-15 14:50:32 +12:00
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
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
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
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
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
nella
f5809a7c2c
Merge branch 'main' into nella/latch-toggle
2026-07-08 11:41:08 +02:00
nella
a3b8609c84
Add -nolatches check option.
2026-06-24 10:38:10 +02:00
Miodrag Milanovic
fd3ec58055
Remove leftover use of log_id
2026-06-24 08:04:48 +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
nella
c99a037c33
Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
...
Fix `chparam` values are unsigned when using read_verilog frontend
2026-06-18 16:50:22 +00:00
nella
32a268d745
Emit errors before dfflegalize.
2026-06-18 17:07:24 +02:00
nella
01e2698247
Add latch check step.
2026-06-15 15:09:23 +02: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
nella
7d3e56523b
Preserve param signedness across overrides.
2026-05-13 16:25:15 +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
