Akash Levy
13e053fb11
Fixups
2025-05-12 14:49:37 -07:00
Akash Levy
8171f04cbf
Add preliminary boolopt src attribution support
2025-05-12 02:30:36 -07:00
Akash Levy
aeed1ddb74
Update from upstream
2025-05-11 15:16:52 -07:00
Akash Levy
0c29d61bac
Merge pull request #80 from williamzhu17/opt_balance_tree-tests
...
Added opt_balance_tree tests
2025-05-11 15:14:12 -07:00
Akash Levy
a1cc22aa0e
Add abc word mode, which uses word-level cells where possible
2025-05-11 15:07:23 -07:00
williamzhu17
39be4f29bd
opt_balance_tree test cases
2025-05-11 10:58:29 -07:00
Akash Levy
239b0a6db0
Fix opt_balance_tree issue
2025-05-08 19:35:19 -07:00
Akash Levy
380850321d
Refactor verific -optimization and -no_split_complex_ports into verific pass
2025-05-08 15:59:47 -07:00
Akash Levy
e4a8cc60d3
Remove recover_names from longloop_select
2025-05-08 07:20:28 -07:00
Emil J. Tywoniak
90a2c92370
driver: allow --no-version still write things like Generated by Yosys
2025-05-07 11:34:23 +02:00
Akash Levy
36bd30d9eb
Add recover_names into build and longloop_select
2025-05-06 18:58:07 -07:00
Emil J. Tywoniak
d7affb8821
driver: add --no-version to suppress writing Yosys version in command outputs
2025-05-05 13:12:08 +02:00
Akash Levy
d2aa569d8f
Merge branch 'YosysHQ:main' into main
2025-05-01 08:40:31 -07:00
KrystalDelusion
22c72a5af4
Merge pull request #4619 from malmeloo/fix/tee-path-whitespace
...
Allow whitespace in `tee` command paths
2025-05-01 09:33:47 +12:00
Emil J
11f2348246
Merge pull request #5073 from YosysHQ/emil/fix-uncompressed-missing-file-error
...
gzip: refactor file open failure errors
2025-04-30 19:29:13 +02:00
Emil J. Tywoniak
adb1986dc1
gzip: refactor file open failure errors
2025-04-29 10:37:35 +02:00
Akash Levy
5e0d59ca90
Merge branch 'YosysHQ:main' into main
2025-04-28 18:12:42 -07:00
KrystalDelusion
bfe05965f9
Merge pull request #5066 from YosysHQ/george/opt_expr_shr_sign
...
opt_expr: fix sign extension for shifts
2025-04-29 09:29:10 +12:00
Akash Levy
618cf9d372
Merge branch 'YosysHQ:main' into main
2025-04-28 13:57:29 -07:00
N. Engelhardt
84c49e1f33
Merge pull request #5041 from jix/declockgate-v2
2025-04-28 13:31:11 +00:00
George Rennie
c952ab417f
opt_expr: only sign extend shift arguments for arithmetic right shift
2025-04-26 12:40:04 +02:00
Akash Levy
f67da2df2f
Merge branch 'YosysHQ:main' into main
2025-04-23 15:22:38 -07:00
Akash Levy
e9bf25f333
Undo flatten -scopeinfo to -noscopeinfo
2025-04-22 16:32:22 -07: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
Akash Levy
4fad708795
Merge branch 'YosysHQ:main' into main
2025-04-22 11:23:26 -07: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
Akash Levy
3bec45a1ee
Merge branch 'YosysHQ:main' into main
2025-04-22 04:09:26 -07:00
Akash Levy
9665a76876
Undo bad wreduce change
2025-04-22 03:40:34 -07:00
KrystalDelusion
7f8d0e31f6
Fix #5046
...
`clean_zerowidth` had skipped $macc, but not $macc_v2
2025-04-22 17:42:52 +12:00
Akash Levy
5f5ed1b29e
Merge upstream yosys
2025-04-21 17:36:24 -07: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
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
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
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
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
