Skip to content

Tags: chipsalliance/synlig

Tags

2024-12-10-2d838ed

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Build(deps): Bump third_party/surelog from `5120036` to `298a9cd` (#2698

)

Bumps [third_party/surelog](https://github.com/chipsalliance/Surelog)
from `5120036` to `298a9cd`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/298a9cddc672cce7f25ec352f9f8f36f5b23aa4e"><code>298a9cd</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/4019">#4019</a>
from alainmarcel/alainmarcel-patch-1</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/19dbece0f44d19d29818d5090a30281a5a982ee5"><code>19dbece</code></a>
Interface binding</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/100847cfcea6ca55012872ae82abc2c9c3eb5abf"><code>100847c</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/4018">#4018</a>
from alainmarcel/alainmarcel-patch-1</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/8c6cd21b7d7f94d24ae8f780e3010871a065f0b6"><code>8c6cd21</code></a>
multi part select fix</li>
<li>See full diff in <a
href="https://github.com/chipsalliance/Surelog/compare/5120036839d36b5ee3e81c0e45ddf8c2be55df08...298a9cddc672cce7f25ec352f9f8f36f5b23aa4e">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 <dependency name> 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)


</details>

2024-11-29-10efd31

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Print available frontends and backends list when running synlig --help (

#2688)

Fixes: #2669

Fragment of help message:

```
    -L logfile
        like -l but open log file in line buffered mode

    -o outfile
        write the design to the specified file on exit

    -b backend
        use this backend for the output file specified on the command line
        list of available backends: aiger, blif, btor, cxxrtl, edif, firrtl,
        ilang, intersynth, jny, json, rtlil, simplec, smt2, smv, spice, table,
        test_autotb, verilog, xaiger

    -f frontend
        use the specified frontend for the input files on the command line
        list of available frontends: aiger, blif, ilang, json, liberty, rtlil,
        systemverilog, uhdm, verilog, verilog_with_uhdm, write_file, xaiger2

    -H
        print the command list

    -h command
        print the help message for the specified command

    -s scriptfile
        execute the commands in the script file

    -c tcl_scriptfile
        execute the commands in the tcl script file (see 'help tcl' for details)
```
Message on frontend not found error:

```
list of available frontends: aiger, blif, ilang, json, liberty, rtlil,
systemverilog, uhdm, verilog, verilog_with_uhdm, write_file, xaiger2

ERROR: No such frontend: xxx
```
Message on backend not found error:

```
list of available backends: aiger, blif, btor, cxxrtl, edif, firrtl, ilang,
intersynth, jny, json, rtlil, simplec, smt2, smv, spice, table, test_autotb,
verilog, xaiger

ERROR: No such backend: xxx
```

2024-11-28-90f3a82

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Update outdated naming (#2686)

This PR updates naming to match `synlig`.

2024-11-26-fa2bcb1

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Build(deps): Bump third_party/yosys from `b89bd02` to `98b4aff` (#2681)

Bumps [third_party/yosys](https://github.com/YosysHQ/yosys) from
`b89bd02` to `98b4aff`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/YosysHQ/yosys/commit/98b4affc4a03d65e2fb3e0854f2e916e3f75e5d6"><code>98b4aff</code></a>
Bump version</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/29e8812bab3499da1868794568cfc2fe6b1ed1ee"><code>29e8812</code></a>
Merge pull request <a
href="https://redirect.github.com/YosysHQ/yosys/issues/4724">#4724</a>
from YosysHQ/micko/blackbox_verific</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/9512ec4bbc73cfc851d2e1d9377eafe89326fb3f"><code>9512ec4</code></a>
Merge pull request <a
href="https://redirect.github.com/YosysHQ/yosys/issues/4764">#4764</a>
from YosysHQ/micko/verific_vhdl_assert</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/d6bd521487944ded68d8590295581f178d94437a"><code>d6bd521</code></a>
verific : VHDL assert DFF initial value set on Verific library patch
side</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/4b3c03dabcae29882dc66de475a0947c2ed435cd"><code>4b3c03d</code></a>
Bump version</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/18b616578a05e49d87e02530692e8d63338522cd"><code>18b6165</code></a>
pyosys: catch boost::python::error_already_set</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/5b6baa3ef1a34b9cb0dd38d82a6ecdd3180d285f"><code>5b6baa3</code></a>
Merge pull request <a
href="https://redirect.github.com/YosysHQ/yosys/issues/4744">#4744</a>
from YosysHQ/emil/clockgate-liberty</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/53a4ec375b089fb7c325e57b1b7bf312b5928d26"><code>53a4ec3</code></a>
Merge pull request <a
href="https://redirect.github.com/YosysHQ/yosys/issues/4762">#4762</a>
from georgerennie/george/fix_read_ilang_test</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/9043dc0ad6c5caf39797a34c457ba971103f7016"><code>9043dc0</code></a>
tests: replace read_ilang with read_rtlil</li>
<li><a
href="https://github.com/YosysHQ/yosys/commit/56b80bdd222012dbe9193369dadec40a1a2d5d83"><code>56b80bd</code></a>
Merge pull request <a
href="https://redirect.github.com/YosysHQ/yosys/issues/4448">#4448</a>
from georgerennie/shiftadd_gating</li>
<li>Additional commits viewable in <a
href="https://github.com/YosysHQ/yosys/compare/b89bd027a069dc93a6eab82dd55217c733797f33...98b4affc4a03d65e2fb3e0854f2e916e3f75e5d6">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 <dependency name> 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)


</details>

2024-11-25-84ab47c

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Fix setting up scope for parameter simplification (#2674)

Fixes: #2661

2024-11-22-8e4e643

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Adjust Synlig to recent Yosys changes (#2668)

This PR updates yosys.

It also applies patch to yosys until:
YosysHQ/yosys#4733 will be merged upstream.

2024-11-14-f50c2de

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Build(deps): Bump third_party/black_parrot_tools from `de0e8c5` to `7…

…aa025b` (#2658)

Bumps
[third_party/black_parrot_tools](https://github.com/black-parrot/black-parrot-tools)
from `de0e8c5` to `7aa025b`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/black-parrot/black-parrot-tools/commit/7aa025b93fdc0cca2c0e0aa63113f9859ae1f9a0"><code>7aa025b</code></a>
Minor updates to spike</li>
<li>See full diff in <a
href="https://github.com/black-parrot/black-parrot-tools/compare/de0e8c5d32c69461814969134ce0a7efabb0b13b...7aa025b93fdc0cca2c0e0aa63113f9859ae1f9a0">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 <dependency name> 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)


</details>

2024-11-13-dab70c6

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Build(deps): Bump third_party/surelog from `5c96759` to `21f2bc5` (#2652

)

Bumps [third_party/surelog](https://github.com/chipsalliance/Surelog)
from `5c96759` to `21f2bc5`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/21f2bc5e93b44cbd1c2b0344b1733fbf1538bf40"><code>21f2bc5</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/4015">#4015</a>
from hzeller/feature-20241112-uhdm-incs</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/ec658e175d44a35e5f0da44657f536cd843b56f4"><code>ec658e1</code></a>
Add a couple of missing uhdm headers.</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/f41571abd78239fe89f8708e6a3eef77e52a28bb"><code>f41571a</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/4014">#4014</a>
from hzeller/feature-20241110-even-more-inc-fixes</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/fc18feb094a937aeab671b1103ae8578cdba2639"><code>fc18feb</code></a>
Include CompileHelper.h for SURELOG::Reduce</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/9ef92eef2a9e2eb00f3c4370e4ed940b46c237b4"><code>9ef92ee</code></a>
Include tuple for std::tuple</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/b337d750f51ac0ca0c283b0cd660b45bcf78fb9e"><code>b337d75</code></a>
Include capnp/blob.h for capnp::Text</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/3814cc4647933a3127bfaa897861b7620364be8a"><code>3814cc4</code></a>
Include capnp/list.h for capnp::List</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/bd1f7285dbc4c2f18dbc3b31ccb9a6d118b79e82"><code>bd1f728</code></a>
Include RTTI.h where needed.</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/67182c78ebd19f6051975af5200728a047a5cfa6"><code>67182c7</code></a>
Merge pull request <a
href="https://redirect.github.com/chipsalliance/Surelog/issues/4013">#4013</a>
from hzeller/feature-20241110-more-inc-fixes</li>
<li><a
href="https://github.com/chipsalliance/Surelog/commit/fc50a33baec6b779f32b0c5dafda0ae2c3122aaa"><code>fc50a33</code></a>
Include cstddef in files using size_t</li>
<li>Additional commits viewable in <a
href="https://github.com/chipsalliance/Surelog/compare/5c96759a13467ecbd3905d4a0c169a6640d57da8...21f2bc5e93b44cbd1c2b0344b1733fbf1538bf40">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 <dependency name> 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)


</details>

2024-11-13-0847e58

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Build(deps): Bump third_party/black_parrot_sdk from `4142f2d` to `aa9…

…4f5f` (#2650)

Bumps
[third_party/black_parrot_sdk](https://github.com/black-parrot-sdk/black-parrot-sdk)
from `4142f2d` to `aa94f5f`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/black-parrot-sdk/black-parrot-sdk/commit/aa94f5f3503a1c6b86960d57a70c28b6094df9ac"><code>aa94f5f</code></a>
Updates to flow</li>
<li>See full diff in <a
href="https://github.com/black-parrot-sdk/black-parrot-sdk/compare/4142f2d151eb0745dfac3a468f5ecee9ea066d8f...aa94f5f3503a1c6b86960d57a70c28b6094df9ac">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 <dependency name> 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)


</details>

2024-11-08-7ddc33d

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Build(deps): Bump third_party/sby from `daed0e1` to `26b3874` (#2640)

Bumps [third_party/sby](https://github.com/YosysHQ/sby) from `daed0e1`
to `26b3874`.
<details>
<summary>Commits</summary>
<ul>
<li><a
href="https://github.com/YosysHQ/sby/commit/26b387466d224cd9e83a6f97d0b69d9dd59e56b5"><code>26b3874</code></a>
Merge pull request <a
href="https://redirect.github.com/YosysHQ/sby/issues/308">#308</a> from
YosysHQ/krys/drop_ilang</li>
<li><a
href="https://github.com/YosysHQ/sby/commit/176e59c3d8c9faf5ecde681f71a62e95abd4f3ec"><code>176e59c</code></a>
Replace (read_)ilang with (read_)rtlil</li>
<li>See full diff in <a
href="https://github.com/YosysHQ/sby/compare/daed0e1544fd96ee7dab843e5a891d92784c6230...26b387466d224cd9e83a6f97d0b69d9dd59e56b5">compare
view</a></li>
</ul>
</details>
<br />


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-automerge-start)
[//]: # (dependabot-automerge-end)

---

<details>
<summary>Dependabot commands and options</summary>
<br />

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 <dependency name> 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)


</details>