3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 09:35:32 +00:00
Commit graph

15062 commits

Author SHA1 Message Date
github-actions[bot]
c550c301dc Bump version 2025-04-24 00:23:08 +00:00
Emil J
f8c027b70e
Merge pull request #5056 from secworks/blocking_assignment_gatemate_cells_sim
Change to blocking assignments in non-clocked process.
2025-04-23 23:13:54 +02:00
Emil J
209850e69d
Merge pull request #5055 from secworks/blocking_assignment_in_cells_sim
Changing non clocked alway assignment to blocking.
2025-04-23 23:01:33 +02:00
Emil J
6a4281ad4f
Merge pull request #5051 from mikesinouye/dff
Detect FF functions that use parentheses.
2025-04-23 22:36:35 +02:00
mikesinouye
fc053b6664
Merge branch 'main' into dff 2025-04-23 13:29:44 -07:00
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
Emil J
057dbbdca3
Merge pull request #5034 from YosysHQ/emil/liberty-fix-tests
liberty: fix tests
2025-04-23 21:40:54 +02:00
Mike Inouye
bf8aece4e4 Add test to verify that the liberty format is properly parsed. 2025-04-23 18:40:35 +00:00
Joachim Strömbergson
90f50722ab
Change to blocking assignments in non-clocked process.
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
2025-04-23 17:13:37 +02:00
Joachim Strömbergson
e4d6781088
Changing non clocked alway assignment to blocking.
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
2025-04-23 16:59:53 +02:00
github-actions[bot]
bf20bc0848 Bump version 2025-04-23 00:23:08 +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
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