Emil J
1f02343268
Merge pull request #5817 from YosysHQ/emil/clockgate-reject-sdffe
...
clockgate: reject $sdffe to fix priority handling
2026-05-08 18:38:51 +00:00
Tianji Liu
3f354eb03b
abc: update log for extra read_lib args
2026-05-08 07:17:29 +08:00
Emil J. Tywoniak
f4a10a4808
clockgate: reject $sdffe for correct priority handling
2026-05-07 14:41:18 +02:00
Tianji Liu
cb6209506e
abc: disable scl merge if extra read_lib args provided
2026-05-07 18:45:35 +08:00
Tianji Liu
f8a50e7174
Merge commit 'ab316c14d2c3f950eda7672e5c5507bb5219205a' into abc-liberty-args
2026-05-07 18:12:49 +08:00
Lofty
ab316c14d2
Merge pull request #5844 from YosysHQ/lofty/abc-refactor-5
...
abc_new: integration testing via synth_gatemate
2026-05-06 13:40:15 +00:00
Lofty
de1dd3b1c5
add aiger2_zbuf to constids
2026-05-06 14:03:07 +01:00
bin
5dfe1937a0
Upgrade to WASI SDK 33 and enable exceptions
2026-05-01 13:30:43 -04:00
Ethan Mahintorabi
805c302411
simplemap: Moves $pmux mapping from techmap.v to simple map
...
This Fixes the slow downs I observed in techmap.v, which we
attempted to fix via the simplify ast.h route originally. This
turned out to be rather complex though.
By moving $pmux to simplemap we can just avoid that code. My
test case now runs in 310s which is 40s faster than the baseline
change.
B:507898959
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com >
2026-04-29 21:20:39 +00:00
nella
d2f7fecef5
Fix liberty cache warning with -genlib.
2026-04-28 15:21:54 +02:00
Lofty
0d3923d086
abc_new: use default script if not specified
2026-04-28 12:33:21 +01:00
nella
d795a4f1d2
Fix WASI, store in temp dir.
2026-04-23 12:43:43 +02:00
nella
afac9a28b0
Fix WASI build.
2026-04-23 12:43:43 +02:00
nella
5d4d94a5dd
Fix mac compile.
2026-04-23 12:43:43 +02:00
nella
94a215b4f7
Add dont_use_cells to scl cache.
2026-04-23 12:43:43 +02:00
nella
edd3ad525e
Add scl caching to abc_new.
2026-04-23 12:43:43 +02:00
nella
9143178343
Merge liberty files into stripped scl files.
2026-04-23 12:43:43 +02:00
Emil J. Tywoniak
b4c081c70b
abc: fix deferred logs
2026-04-17 13:35:47 +02:00
nella
4506dffa9f
Fix use after free.
2026-04-13 12:48:05 +02:00
nella
fc71719e6e
Rename csa_tree to arith_tree.
2026-04-13 12:48:05 +02:00
nella
c3c577f333
Fix test cases.
2026-04-13 12:48:05 +02:00
nella
135812ab02
Further CSA cleanup.
2026-04-13 12:48:05 +02:00
nella
847a8941e9
Clang-Format CSA tree.
2026-04-13 12:48:05 +02:00
nella
a02c238874
Consolidate Wallace from booth and CSA.
2026-04-13 12:48:05 +02:00
nella
4bbffecf98
Invert.
2026-04-13 12:48:05 +02:00
nella
42c309347b
Clarify.
2026-04-13 12:48:05 +02:00
Emil J. Tywoniak
b6d656e932
csa_tree: move to techmap
2026-04-13 12:48:05 +02:00
Emil J. Tywoniak
41b69df2cb
abc_new: stable TopoSort
2026-04-06 15:09:52 +02:00
Emil J
b44188110b
Merge pull request #5764 from YosysHQ/emil/constmap-error
...
constmap: error if no -cell set
2026-03-23 15:15:04 +00:00
Lofty
f560cba952
Merge pull request #5757 from YosysHQ/lofty/abc9-refactor-3
...
abc9: remove -fast [sc-269]
2026-03-19 08:41:45 +00:00
Lofty
27210627e5
abc9: remove -fast
2026-03-19 07:30:23 +00:00
Lofty
8d1d5a25e5
Merge pull request #5760 from YosysHQ/lofty/abc-refactor-2
...
abc: remove -S [sc-269]
2026-03-19 07:26:54 +00:00
Lofty
05de1c4ae2
Merge pull request #5759 from YosysHQ/lofty/abc9-refactor-4
...
abc9: remove abc9.if.C [sc-269]
2026-03-19 07:26:37 +00:00
Emil J. Tywoniak
7aaa0621d3
constmap: error if no -cell set
2026-03-19 00:01:14 +01:00
Lofty
f9d930ba5a
Revert "abc: remove -fast [sc-269]"
2026-03-18 17:55:17 +00:00
Lofty
e05ed6b850
Merge pull request #5758 from YosysHQ/lofty/abc-refactor-1
...
abc: remove -fast [sc-269]
2026-03-18 15:09:36 +00:00
Lofty
0b3f103745
abc: remove -S
2026-03-18 14:40:23 +00:00
Lofty
93c762c7c1
abc9: remove abc9.if.C
2026-03-18 14:27:27 +00:00
Lofty
926814f1e4
abc9: cleanup commented code
2026-03-18 14:16:31 +00:00
Lofty
0ea739b7d9
abc: remove -fast
2026-03-18 14:15:42 +00:00
Lofty
e78690fc47
abc9_exe: fix typo
2026-03-18 11:44:13 +00:00
Emil J
0d7a875675
Merge pull request #5512 from YosysHQ/emil/turbo-celltypes
...
celltypes: compile-time lookup tables for internal cells
2026-03-04 14:47:57 +00:00
Emil J. Tywoniak
ecb8b20f62
yosys: use newcelltypes for yosys_celltypes users
2026-03-04 12:39:44 +01:00
Emil J. Tywoniak
4ab22cbb97
abc: use newcelltypes
2026-03-04 12:22:14 +01:00
Tianji Liu
750d536bba
abc: new option to pass ABC read_lib args
2026-03-04 11:24:24 +08:00
Andrew Pullin
5970be33fb
abc9: preserve topological-loop asserts with targeted SCC fallback
...
A real-world ABC9 flow hit residual combinational loops after SCC breaking, tripping the prep_xaiger loop assertion.
Keep the existing topological assertions in place (prep_xaiger and reintegrate still assert no_loops).
To handle residual non-box loops, add a targeted fallback in prep_xaiger: when loops remain after normal SCC breaking, insert additional $__ABC9_SCC_BREAKER cuts on non-box loop cells, rebuild toposort, and then re-check the existing assertion.
Also keep pre-ABC9 SCC tagging on all cell types (scc -all_cell_types) and add a regression test (tests/techmap/abc9-nonbox-loop-with-box.ys).
2026-02-26 22:30:32 -08:00
Miodrag Milanović
0ed7c5ad53
Merge pull request #5620 from YosysHQ/lofty/abc9-verify
...
abc9: verify post-mapping equivalence by default
2026-02-20 13:41:11 +01:00
Emil J
fba29ea8f1
Merge pull request #5679 from YosysHQ/emil/abc9-remove-liberty
...
abc9: remove -liberty
2026-02-11 12:36:29 +01:00
Emil J. Tywoniak
915912cc76
abc9: remove -dont_use
2026-02-11 11:39:09 +01:00
Emil J. Tywoniak
c4094e457b
abc9: remove -genlib, -constr
2026-02-11 11:34:54 +01:00
