nella
dbef3ec8a5
Merge branch 'main' into nella/cell-rank
2026-09-04 16:06:21 -07:00
nella
0f87e78af3
Merge pull request #6167 from YosysHQ/nella/opt-dff-quadratics
...
opt_dff: avoid quadratic sigmapping in mux tree feedback search [sc-839]
2026-09-04 17:35:08 +00:00
nella
cdf2832f47
Merge branch 'main' into nella/opt-dff-quadratics
2026-09-04 10:17:32 -07:00
nella
3be4154275
Sigmap single port bits in mux tree feedback search.
...
find_muxtree_feedback_patterns sigmapped the whole A/B/S ports of every
visited $pmux, which is O(port width) per visited bit and makes wide mux
trees quadratic. Sigmap only the single bit that is needed, via a new
port_bit() helper, and factor the repeated Sx port writes into
break_feedback(). Output is unchanged.
2026-09-04 17:39:15 +02:00
Emil J
edb882e874
Merge pull request #6177 from YosysHQ/emil/abc-prepare-extract-sequence-determinism-2
...
abc: isolate state mutation in prepare and extract for multi-threaded determinism
2026-09-04 13:09:37 +00:00
nella
82b95b2669
Use <=>.
2026-09-04 13:29:31 +02:00
Emil J. Tywoniak
e74a81c639
abc: cleanup
2026-09-04 12:01:35 +02:00
Emil J. Tywoniak
cdbf2948bb
abc: defer cell removal from prepare until extract for multi-threaded determinism
2026-09-04 11:38:26 +02:00
nella
c4b6c19580
Rank cells on tuple.
2026-09-04 11:16:24 +02:00
Emil J. Tywoniak
74ff7c407b
abc: per-clock-domain autoidx mechanism for multi-threaded determinism
2026-09-04 11:12:33 +02:00
Emil J. Tywoniak
3870f810f3
kernel: avoid running ensure_at_least in parallel
2026-09-04 11:11:55 +02:00
Emil J. Tywoniak
4a51ae1f2c
abc: don't bump assign_map in extract
2026-09-04 10:37:35 +02:00
Nick Allison
0bf55a858b
Merge pull request #6164 from YosysHQ/nick/fix-6151
...
Adding error cases to formal backends for invalid formal cells
2026-09-02 14:42:28 +00:00
Miodrag Milanović
28b7a17675
Merge pull request #6115 from YosysHQ/log-sink
...
log rewrite [sc-748]
2026-09-02 13:03:29 +00:00
nella
1103ca971c
Merge pull request #6110 from YosysHQ/nella/opt_dff-cleanup
...
opt_dff -sat: cleanup and refactor [sc-725]
2026-09-02 09:12:26 +00:00
nick
3deb8f313e
fix 6151 - adding error cases to formal backends / also adding test
...
cases
2026-09-01 14:34:28 -06:00
Miodrag Milanović
56cf2cf419
Merge pull request #6159 from YosysHQ/mmicko/update_sv_elab
...
Update sv-elab to release 2026-08-30
2026-09-01 06:37:05 +00:00
Miodrag Milanovic
7c10ee1c58
Update sv-elab as of 2026-09-01
2026-09-01 08:20:05 +02:00
Miodrag Milanovic
726aff678f
log: remove log_ prefix and unified some namings
2026-08-31 11:20:21 +02:00
Miodrag Milanovic
09c227b0a7
log_stderr_sink_forced since it is external sink configuration
2026-08-31 10:34:45 +02:00
Miodrag Milanovic
cdb5ff5f99
log: keep log_debug a macro
2026-08-31 08:25:47 +02:00
nella
e0bf46ebc5
Separate non -sat constbits.
2026-08-27 23:10:40 +06:00
nella
d26f1a8573
Review fixups
...
Co-authored-by: Emil J. Tywoniak <[email protected]
2026-08-27 23:10:40 +06:00
Emil J. Tywoniak
0c0b6c2bdd
opt_dff: smaller context structs
2026-08-27 23:10:40 +06:00
Emil J. Tywoniak
60da0e8ef0
opt_clean: move
2026-08-27 23:10:40 +06:00
Emil J. Tywoniak
f8bf9ad1c8
opt_dff: split up
2026-08-27 23:10:40 +06:00
nella
95baa38274
Document ConstObligation.
2026-08-27 23:10:40 +06:00
nella
32a9fd2281
Whitespace.
2026-08-27 23:10:40 +06:00
nella
5f5c1a7a33
Comment and style touchups.
2026-08-27 23:10:40 +06:00
nella
01df56414d
One sat query per obligation.
2026-08-27 23:10:40 +06:00
nella
fc4b87363e
Bundle eqbits candidates.
2026-08-27 23:10:40 +06:00
nella
96e776fbfc
Single driver lookup in bitsim.
2026-08-27 23:10:40 +06:00
nella
040dbe0839
Constbits counterexample watch list.
2026-08-27 23:10:40 +06:00
nella
4c0979e88e
Separate constbits batching.
2026-08-27 23:10:40 +06:00
nella
5a5fe1619b
Split constbits into gather/solve/commit.
2026-08-27 23:10:40 +06:00
nella
8943824f07
Sigmap const checks.
2026-08-27 23:10:40 +06:00
nella
190671ac8d
Document constbits candidate logic.
2026-08-27 23:10:40 +06:00
nella
7cea58eead
More sat constbits tests.
2026-08-27 23:10:40 +06:00
nella
c30457480f
Merge pull request #6155 from YosysHQ/nella/xaiger2-bufnorm-edgecases
...
ABCU: fix bufnorm edge cases
2026-08-27 15:08:19 +00:00
nella
2c40c4ea13
Readd seeding comment.
2026-08-27 15:16:48 +02:00
nella
f0236d8d20
Move module seeding into Design::add.
2026-08-27 14:34:10 +02:00
nella
5ff5eeb9f8
Fix bufnorm edge cases.
2026-08-26 16:08:45 +02:00
Miodrag Milanovic
b3e25aea62
log: couple of fixes
2026-08-26 12:27:29 +02:00
Miodrag Milanovic
a3cc43277f
log: added log_deprecated
2026-08-26 08:40:12 +02:00
Miodrag Milanović
13b43f8c85
Merge pull request #6149 from YosysHQ/mmicko/cxxheaderparser
...
pyosys: Check for required cxxheaderparser version, fixes #5974
2026-08-26 06:01:37 +00:00
Miodrag Milanovic
ab2610b816
pyosys: Check for required cxxheaderparser version, fixes #5974
2026-08-25 13:37:56 +02:00
Emil J
dd83bbad28
Merge pull request #6116 from antmicro/mgan/hdlname-fix
...
Fix ignored `hdlname` attribute in `dfflibmap` pass
2026-08-24 11:36:17 +00:00
Emil J
e3af33003d
Merge pull request #6141 from john-kearney/fix-json-netnames-signed
...
json: read 'signed' on netnames, matching ports
2026-08-24 10:19:44 +00:00
Emil J
85acd07685
Merge pull request #6123 from sifferman/fix-resetall-default-nettype
...
Fix resetall not affecting default_nettype
2026-08-24 09:47:04 +00:00
Miodrag Milanović
2e1666cd82
Merge pull request #6147 from YosysHQ/mmicko/cleanup
...
cleanup: remove status message
2026-08-24 09:41:29 +00:00
nella
nella
Emil J
Emil J. Tywoniak
Nick Allison
Miodrag Milanović
nick