akash
19dbde2891
Merge commit
2024-03-29 19:30:48 -07:00
akash
632a70454c
Update .gitignore and Makefile
2024-03-29 19:23:08 -07:00
Akash Levy
dd35d2da23
Modifications
2024-03-21 11:31:43 -07:00
github-actions[bot]
d73f71e813
Bump version
2024-03-19 00:20:31 +00:00
Krystine Sherwin
c6795cefc5
docs: Install python requirements
2024-03-19 06:05:03 +13:00
Krystine Sherwin
f72ddfb09d
docs: Fix repo file links
2024-03-19 05:57:26 +13:00
Krystine Sherwin
29c8a3bef9
docs: Fix splice.v in verific
2024-03-19 05:57:26 +13:00
N. Engelhardt
3f54bf102c
Merge pull request #3907 from YosysHQ/krys/docs
...
Manual rewrite and presentation merge
2024-03-18 17:12:57 +01:00
Krystine Sherwin
49f1bea1d2
docs: Add synth_ice40 to macro checks
2024-03-18 11:01:09 +13:00
Krystine Sherwin
b6ffdec2ce
docs: Update OSS CAD suite info
2024-03-18 10:45:31 +13:00
Krystine Sherwin
d2bf5a83af
Merge branch 'origin/master' into krys/docs
2024-03-18 10:39:30 +13:00
Krystine Sherwin
2832034877
docs: Clarify install instructions
...
`config-clang` is the default, and doesn't need to be run first. Previous instructions were ambiguous about that point.
Add note on using a different `CXX`.
2024-03-18 10:35:01 +13:00
Krystine Sherwin
bc9cccacf2
docs: Move fifo localparams into module def
...
Fix for failing CI.
2024-03-18 10:02:40 +13:00
github-actions[bot]
3231c1cd93
Bump version
2024-03-16 00:14:56 +00:00
N. Engelhardt
584692d53c
Merge pull request #4281 from YosysHQ/cat/issue-template-wasm
...
Add WebAssembly as a platform to `ISSUE_TEMPLATE/bug_report.yml`
2024-03-15 10:01:26 +01:00
Catherine
29e3e10378
Add WebAssembly as a platform to ISSUE_TEMPLATE/bug_report.yml.
2024-03-13 10:04:13 +00:00
github-actions[bot]
b3124f30e4
Bump version
2024-03-13 00:15:33 +00:00
Miodrag Milanovic
18cec2d9a9
Next dev cycle
2024-03-12 08:57:48 +01:00
Miodrag Milanovic
00338082b0
Release version 0.39
2024-03-12 08:55:10 +01:00
github-actions[bot]
0944664e60
Bump version
2024-03-12 00:15:21 +00:00
N. Engelhardt
0909c2ef5e
Merge pull request #4268 from jix/smtbmc-track-assumes
...
smtbmc: Add --track-assumes and --minimize-assumes options
2024-03-11 16:34:30 +01:00
Jannis Harder
42122e240e
smtbmc: Add --track-assumes and --minimize-assumes options
...
The --track-assumes option makes smtbmc keep track of which assumptions
were used by the solver when reaching an unsat case and to output that
set of assumptions. This is particularly useful to debug PREUNSAT
failures.
The --minimize-assumes option can be used in addition to --track-assumes
which will cause smtbmc to spend additional solving effort to produce a
minimal set of assumptions that are sufficient to cause the unsat
result.
2024-03-11 15:13:11 +01:00
N. Engelhardt
e4f11eb0a0
Merge pull request #4228 from povik/synth-inject
...
synth: Introduce `-extra-map` for amending techmap
2024-03-11 14:55:45 +01:00
Martin Povišer
d42c04bc48
Merge pull request #4274 from YosysHQ/fix_warning
...
fix compile warning
2024-03-11 10:58:48 +01:00
Miodrag Milanovic
5e05300e7b
fix compile warning
2024-03-11 10:55:09 +01:00
github-actions[bot]
078b876f50
Bump version
2024-03-09 00:14:37 +00:00
Miodrag Milanović
6d528ef808
Merge pull request #4271 from YosysHQ/macos-fix
...
ci: Fix mac builds
2024-03-08 14:17:32 +01:00
N. Engelhardt
d70113a909
Merge pull request #3972 from nakengelhardt/celledges_shift_ops
...
celledges: support shift ops
2024-03-08 09:35:47 +01:00
Krystine Sherwin
b4da6b80f8
ci: Fix mac builds
2024-03-08 11:56:01 +13:00
Martin Povišer
570a8f12b5
synth: Fix out-of-sync help message
...
Co-authored-by: N. Engelhardt <nakengelhardt@gmail.com>
2024-03-06 14:55:43 +01:00
github-actions[bot]
e9cd6ca9e8
Bump version
2024-03-06 00:16:02 +00:00
Catherine
f60b77a7f0
cxxrtl: add ability to record/replay diagnostics.
...
Note that this functionality is only used by diagnostics emitted by
the C++ testbench; diagnostics emitted by the RTL in `eval()` do not
need to be recorded since they will be emitted again during replay.
2024-03-05 17:00:02 +00:00
Jannis Harder
04ecabdd1f
Merge pull request #4222 from jix/pdr-X
...
write_aiger: Include `$assert` and `$assume` cells in -ywmap output
2024-03-05 15:13:51 +01:00
Jannis Harder
0db76c6ec4
tests/sva: Skip sva tests that use SBY until SBY is compatible again
...
This commit is part of a PR that requires corresponding changes in SBY.
To prevent CI failures, detect whether those changes already landed and
skip the SBY using tests until then.
2024-03-05 14:37:33 +01:00
github-actions[bot]
1e42b4f0f9
Bump version
2024-03-05 00:15:21 +00:00
Krystine Sherwin
3635f911dc
Docs: Updates from @povik comments
2024-03-05 05:57:27 +13:00
Krystine Sherwin
1455941ab9
Merge branch 'master' into krys/docs
2024-03-05 05:48:46 +13:00
Krystine Sherwin
3596025283
docs: Remove TODOs from output
...
Remove highlighting of wreduce/opt_clean bug.
2024-03-05 05:44:40 +13:00
Jannis Harder
ff6c29ab1e
Update abc revision
2024-03-04 16:53:03 +01:00
Jannis Harder
97db1cb745
smtbmc: Cache hierarchy for loading multiple yw files
...
This will be used by sby/tools/cexenum via the incremental interface.
2024-03-04 16:53:03 +01:00
Jannis Harder
d03c5e2a00
smtbmc: Break dependency recursion during unrolling
...
Previously `unroll_stmt` would recurse over the smtlib expressions as
well as recursively follow not-yet-emitted definitions the current
expression depends on. While the depth of smtlib expressions generated
by yosys seems to be reasonably bounded, the dependency chain of
not-yet-emitted definitions can grow linearly with the size of the
design and linearly in the BMC depth.
This makes `unroll_stmt` use a `list` as stack, using python generators
and `recursion_helper` function to keep the overall code structure of
the previous recursive implementation.
2024-03-04 16:53:03 +01:00
Jannis Harder
d8cdc213a6
rename -witness: Bug fix and rename formal cells
...
Rename formal cells in addition to witness signals. This is required to
reliably track individual property states for the non-smtbmc flows.
Also removes a misplced `break` which resulted in only partial witness
renaming.
2024-03-04 16:53:03 +01:00
Jannis Harder
6469d90293
write_aiger: Include $assert and $assume cells in -ywmap output
2024-03-04 16:53:03 +01:00
Jannis Harder
16f6386613
Merge pull request #4224 from povik/equiv_simple-fix
...
equiv_simple: Take FFs into account for driver map
2024-03-04 15:53:34 +01:00
Martin Povišer
8d004661dc
Merge pull request #4254 from thorpej/dev/pkgsrc-patch-NetBSD-1
...
Add NetBSD support
2024-03-04 11:22:34 +01:00
Martin Povišer
7a83a27fff
Merge pull request #4255 from YosysHQ/emcc_fix
...
Fix emcc build
2024-03-04 11:21:18 +01:00
Krystine Sherwin
9b47f3204e
Makefile: Fix emcc build
...
Remove deprecated (and unnecessary?) `--memory-init-file 0` from `EMCC_LINKFLAGS`.
2024-03-04 12:28:41 +13:00
Jason Thorpe
a02d4e7853
Tweak the FreeBSD version of proc_self_dirname() to work on NetBSD use it.
2024-03-03 07:54:39 -08:00
Martin Povišer
d2a7ce04ea
synth: Rename -inject to -extra-map
2024-03-01 10:54:51 +01:00
github-actions[bot]
91fbd58980
Bump version
2024-02-27 00:15:58 +00:00
