mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-25 18:15:34 +00:00
Code Activity
15052 commits 98 branches 53 tags 45 MiB
Commit graph

15052 commits

This branch
This branch
All branches
Author SHA1 Message Date
Emil J. Tywoniak
9631f6ece5 liberty: fix tests 2025-04-23 20:20:43 +00:00
github-actions[bot]
a0d865c2bf Bump version 2025-04-23 20:20:14 +00:00
Mike Inouye
bf8aece4e4 Add test to verify that the liberty format is properly parsed. 2025-04-23 18:40:35 +00:00
Mike Inouye
b7d7b377fd Detect FF functions that use parentheses. 
Signed-off-by: Mike Inouye <mikeinouye@google.com>
 2025-04-22 23:26:55 +00:00
Emily Schmidt
4b4cdf75b8 timeest: gcc refuses to parse "struct ::Yosys:..." 2025-04-22 16:49:56 +01:00
Emily Schmidt
9c9a0e3e45 add some comments to timeest 2025-04-22 16:49:56 +01:00
Martin Povišer
28c7f202ca timeest: Add -select 2025-04-22 16:49:56 +01:00
Martin Povišer
e8196b1dda timeest: Update help 2025-04-22 16:49:56 +01:00
Martin Povišer
c5e154e941 timeest: Fix templating 2025-04-22 16:49:56 +01:00
Martin Povišer
4323d56b9e timeest: Fill missing header 2025-04-22 16:49:56 +01:00
Martin Povišer
386b33d192 timeest: Add command for critical path estimation 2025-04-22 16:49:56 +01:00
N. Engelhardt
f27fb1a25b
Merge pull request #5037 from YosysHQ/flatten_nocleanup 2025-04-22 15:48:45 +00:00
Emil J
a628f84ec0
Merge pull request #5044 from RonxBulld/main 
Fixed the problem of not calling abc correctly when using libyosys.so
 2025-04-22 12:38:07 +02:00
Martin Povišer
5ac833870b
Merge pull request #5047 from YosysHQ/krys/macc_v2_clean_zerowidth 
Add $macc_v2 to clean_zerowidth skip
 2025-04-22 09:08:23 +02:00
KrystalDelusion
7f8d0e31f6
Fix #5046 
`clean_zerowidth` had skipped $macc, but not $macc_v2
 2025-04-22 17:42:52 +12:00
github-actions[bot]
1788ffcaf7 Bump version 2025-04-22 00:23:01 +00:00
KrystalDelusion
1f32f980cd
Merge pull request #5025 from povik/fix-macc_v2-satgen 
satgen: Fix $macc_v2 x-prop
 2025-04-22 08:55:28 +12:00
RonxBulld
a8ae6f05ea
Fixed the problem of not calling abc correctly when using libyosys.so library (it will try to call yosys-abc as command line instead of calling abc::Abc_RealMain) 2025-04-22 00:54:51 +08:00
Emil J
6a2f2f1818
Merge pull request #5031 from suisseWalter/fix_sequential_area 
stat: fix sequential area not being included in addition/multiplication
 2025-04-21 11:02:40 +02:00
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
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
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
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 9c5bffcf93.

The reasoning behind this is that setup.py is intended to strictly consume the Makefile and not be consumed by it. The attempt at using them recursively has caused a number of issues and has rendered Pyosys unusable to some users: See https://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