Joachim Strömbergson
2fcb61adb5
Change to use blocking assignments in non-clocked processes.
...
Signed-off-by: Joachim Strömbergson <joachim@assured.se>
2025-04-23 17:21:32 +02: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
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
