cwalter
41375a5f05
create testcase to check correct addition of areas.
2025-04-20 16:44:22 +02:00
clemens
01d80c7403
add testcase
2025-04-19 20:41:10 +02:00
Jannis Harder
31d6d0ac17
formalff: Fix -declockgate test and missing emit for memories
2025-04-18 18:57:59 +02:00
Jannis Harder
b982da9f6a
formalff: Document -declockgate option
2025-04-18 17:44:39 +02:00
Jannis Harder
bd154a7188
formalff: Add -declockgate option
2025-04-18 17:44:34 +02:00
Miodrag Milanovic
c343462c16
gatemate: WRITE_THROUGH mode change
2025-04-18 14:16:02 +02:00
N. Engelhardt
5db1765bee
add flatten -nocleanup option
2025-04-17 18:17:42 +02:00
Jannis Harder
7f7ad87b7b
Merge pull request #5033 from jix/liberty-fixes
...
liberty: More robust parsing
2025-04-17 09:24:42 +02:00
github-actions[bot]
08b3a9fc7b
Bump version
2025-04-17 00:22:57 +00:00
Emil J. Tywoniak
c555add231
liberty: Test non-ascii characters
2025-04-17 00:20:18 +02:00
KrystalDelusion
026d161f91
Merge pull request #4923 from KelvinChung2000/const-wrap
...
feat: Allow full constant wrapping for hilomap
2025-04-17 10:16:59 +12:00
Emil J. Tywoniak
7191b9ad1f
liberty: fix tests
2025-04-16 22:24:55 +02:00
Jannis Harder
ce74404890
liberty: Error on unclosed curly braces
...
This is an indication that the liberty file was truncated, which
shouldn't be silently ignored.
2025-04-16 19:12:01 +02:00
Jannis Harder
418e795235
liberty: Error when a read liberty file has no nodes
2025-04-16 19:03:05 +02:00
Jannis Harder
5101b9fcba
liberty: Fix handling of non-ascii characters
...
Use an `unsigned char` buffer to ensure characters cast to an `int` are
in the range 0 <= c <= 255.
2025-04-16 18:52:49 +02:00
Jannis Harder
ecf9c9f0cf
Merge pull request #5023 from jix/restrict_share_activiation_patterns
...
share: Restrict activation patterns to potentially relevant signals
2025-04-16 16:33:34 +02:00
David Sawatzke
04098933c7
cxxrtl: Add internal cell "bwmux"
...
Mirrors the implementation for the smt2 backend
Co-authored-by: Martin Povišer <povik@cutebit.org>
2025-04-16 13:58:08 +01:00
github-actions[bot]
c894685f26
Bump version
2025-04-16 00:23:21 +00:00
Jannis Harder
4b273a4ae9
share: Cleanup and additional testing
...
Fixes a typo and adds another test case that triggers the fallback
behavior as the existing tests all trigger the new optimization.
2025-04-15 12:34:46 +02:00
Jannis Harder
7593b5b224
share: Only print optimized activation patterns when different
...
This removes redundant information from the log and makes it easier to
spot where the new optimization had an effect.
2025-04-15 12:34:46 +02:00
Jannis Harder
27ed77ea24
share: Keep filtered activation patterns for the supercell
...
The previous commit introduced code that optimizes the activation
patterns to be able to generate smaller activation logic. The resulting
supercell was then enqueued as shareable using those optimized
activation patterns. The condition represented by the optimized patterns
is an over-approximation of the actual activiation condition. This means
using it as activiation for the supercell loses precision and pessimises
sharing of the supercell with further cells, breaking the sat/share
test.
This commit fixes that by using the optimized activiation patterns only
for the generation of activation logic and using the original patterns
for enqueuing the supercell.
2025-04-15 12:34:46 +02:00
Jannis Harder
6dff9e7787
share: Restrict activation patterns to potentially relevant signals
...
In case the two sets of activation patterns are mutually exclusive
without considering the logic feeding into the activation signals, an
activation condition can only be relevant if present in both sets with
opposite polarity.
This detects pattern-only mutual exclusion by running an additional SAT
query before importing the input cone logic. If that is already UNSAT,
we remove all non-relevant condition and re-simplify the remaining
patterns.
In cases of pattern-only mutual exclusion, this will often produce much
smaller selection logic and avoid the more costly SAT query that
includes the input cones.
2025-04-15 12:34:46 +02:00
Emily Schmidt
19845be85c
reflow dft docs to 80 cols
2025-04-15 09:57:14 +01:00
Emily Schmidt
bfed96ad88
some fixes and rewordings of the dft docs
2025-04-15 09:57:14 +01:00
Emily Schmidt
ea6e5b3c48
add changes to dft docs suggested by Krystine
2025-04-15 09:57:14 +01:00
Emily Schmidt
30486079f9
add dft_tag documentation
2025-04-15 09:57:14 +01:00
Martin Povišer
f8e67c7a08
satgen: Fix $macc_v2 x-prop
2025-04-15 10:31:42 +02:00
clemens
21b93ee1fb
fix sequential area not being included in addition/multiplication
...
Fixes a bug where the sequential area isn't part of the Stat_numeric_members that are used to automatically add/mul the statdata_t members.
2025-04-15 09:38:04 +02:00
github-actions[bot]
ea2c1e7ac7
Bump version
2025-04-15 00:23:32 +00:00
KrystalDelusion
0644724c9e
Merge pull request #4995 from akashlevy/pyosys_namedobject
...
Add `NamedObject` to `py_wrap_generator.py`
2025-04-15 11:11:59 +12:00
KrystalDelusion
33dfc2ec6a
Merge pull request #5021 from YosysHQ/emil/memory_libmap-fix-allocation
...
memory_libmap: fix MapWorker memory allocation
2025-04-15 11:02:42 +12:00
Miodrag Milanovic
22e6ce4282
verific: bit blast RAM if using mem2reg attribute
2025-04-14 15:24:11 +02:00
Miodrag Milanovic
c79379db02
Run wheels each Sunday at 10AM
2025-04-14 15:22:38 +02:00
Miodrag Milanović
9f25f972dc
Merge pull request #5008 from donn/wheel_builds_fix
...
wheels: fix builds, add linux aarch64 to ci
2025-04-14 15:10:37 +02:00
Donn
b7062143e1
hotfix: fix CHECK_BOOST_PYTHON missing libpython
2025-04-14 14:54:38 +02:00
Donn
c18f1310a5
Revert #4901
...
Partially reverts commit 9c5bffcf93https://github.com/YosysHQ/yosys/issues/5012
Additionally, unlike the previous pyosys installation target, the wheel installation does not respect PREFIX=, only venvs.
For installation inside a venv, the intended method should remain a user manually executing `pip3 install .` instead of relying on the Makefile.
2025-04-14 14:45:41 +02:00
Kelvin Chung
81f3369f24
Add check at constmap and merge test
2025-04-14 11:44:52 +01:00
Emil J. Tywoniak
872a197e94
memory_libmap: fix MapWorker memory allocation
2025-04-14 12:41:14 +02:00
Martin Povišer
38beae1e06
Merge pull request #4946 from povik/cost-cc-enhance
...
cost: Add `$mem_v2`, `$macc_v2` estimates
2025-04-14 11:08:59 +02:00
github-actions[bot]
9d3d0a4336
Bump version
2025-04-12 00:22:23 +00:00
KrystalDelusion
a2e1d0165f
Merge pull request #5016 from YosysHQ/krys/zizmor
...
CI: Fixes from zizmor
2025-04-12 09:02:59 +12:00
Anhijkt
163e339c69
ice40_dsp: add unextend_unsigned function
2025-04-11 19:41:35 +03:00
KrystalDelusion
75d07ed307
Merge pull request #4854 from YosysHQ/krys/cutpoint_blackbox
...
Add -blackbox option to cutpoint pass
2025-04-11 20:22:45 +12:00
Krystine Sherwin
87d3b09988
cutpoint.cc: Fold -instances into -blackbox
...
Replace `cutpoint -blackbox` behaviour with `cutpoint -blackbox -instances` behaviour.
Drop `-instances` flag.
Add `-noscopeinfo` flag.
Use `RTLIL::Selection::boxed_module()` helper to shortcut blackbox check.
Update `cutpoint_blackbox.ys` tests to match.
2025-04-11 04:12:35 +12:00
Krystine Sherwin
779a1fddf6
Testing cutpoint with boxed selections
2025-04-11 04:12:34 +12:00
Krystine Sherwin
8b1cc6e05e
cutpoint: Use new selection helpers
2025-04-11 04:12:34 +12:00
Krystine Sherwin
44545653ef
hierarchy: Ignore width mismatch from verific
...
But only if it's also a blackbox module with parameters (i.e. it *could* be parametrizable width).
2025-04-11 04:12:34 +12:00
Krystine Sherwin
b705c546ea
cutpoint: Add -blackbox -instances
...
Replace module instances instead of module contents.
This fixes parametrisable width mismatch with read_verilog frontend, but not verific frontend.
2025-04-11 04:12:34 +12:00
Krystine Sherwin
cf44a9124f
cutpoint: Test -blackbox with parameter
...
Modify `cutpoint_blackbox.ys` to check that parameters on blackbox modules are maintained after the cutpoint.
Also adjusts the test to check that each instance gets the `$anyseq` cell.
2025-04-11 04:12:34 +12:00
Krystine Sherwin
ca57df8927
cutpoint: Add $scopeinfo cell
...
Also adds "blackbox" as a valid TYPE.
2025-04-11 04:12:34 +12:00
