build(deps): bump third_party/tools/yosys from `6d528ef` to `0909c2e`

[dependabot[bot]]

Bumps third_party/tools/yosys from 6d528ef to 0909c2e.

Commits

• 0909c2e Merge pull request #4268 from jix/smtbmc-track-assumes
• 42122e2 smtbmc: Add --track-assumes and --minimize-assumes options
• e4f11eb Merge pull request #4228 from povik/synth-inject
• d42c04b Merge pull request #4274 from YosysHQ/fix_warning
• 5e05300 fix compile warning
• 078b876 Bump version
• 570a8f1 synth: Fix out-of-sync help message
• d2a7ce0 synth: Rename -inject to -extra-map
• See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

[github-actions[bot]]

Changes In Tests

Tool	New Failures	New Passes	Added	Removed	Not Affected
tree_sitter_verilog	0	0	0	0	4499
Yosys	0	0	0	0	4312
Verilator	0	0	0	0	4668
UhdmVerilator	0	0	0	0	4668
Verible	0	0	0	0	4499
Slang	0	0	0	0	4653
yosys_slang	0	0	0	0	3849
Odin	0	0	0	0	4590
moore	0	0	0	0	4590
Slang_parse	0	0	0	0	4590
SynligYosys	0	1	0	0	4310
VeribleExtractor	0	0	0	0	4499
Surelog	0	0	0	0	4653
Icarus	0	0	0	0	4668
Sv2v_zachjs	0	0	0	0	4653
sv_parser	0	0	0	0	4590
moore_parse	0	0	0	0	4499

Download an archive containing all the details