Miodrag Milanovic
5e05300e7b
fix compile warning
2024-03-11 10:55:09 +01:00
Martin Povišer
206d894c56
check: Omit private wires in loop report
2024-03-11 10:45:36 +01:00
Martin Povišer
5924d97381
tests: Remove part of test involving combinational loops
2024-03-11 10:45:36 +01:00
Martin Povišer
d01728aaa5
celledges: Register async FF paths
2024-03-11 10:45:36 +01:00
Martin Povišer
87e72ef86f
celledges: Add read ports arst paths
2024-03-11 10:45:17 +01:00
Martin Povišer
4a10e78777
celledges: Emit empty edges for write/init ports
2024-03-11 10:45:17 +01:00
Martin Povišer
e4296072c4
check: Rephrase regex for portability
2024-03-11 10:45:17 +01:00
Martin Povišer
4fdcf388d3
check: Assert edges data is not out-of-bounds
2024-03-11 10:45:17 +01:00
Martin Povišer
e1e77a7fa9
check: Extend testing
2024-03-11 10:45:17 +01:00
Martin Povišer
b6112b3551
check: Consider read ports in loop detection
2024-03-11 10:45:17 +01:00
Martin Povišer
3a1ef44564
celledges: Describe asynchronous read ports
2024-03-11 10:45:17 +01:00
Martin Povišer
3eef6450f1
check: Add coarse-grain false positive test
2024-03-11 10:43:49 +01:00
Martin Povišer
fa74d0bd1a
check: Use cell edges data in detecting combinational loops
2024-03-11 10:43:49 +01:00
Martin Povišer
c5ae74af34
check: Improve found loop logging
...
Print the detected loop in-order, and include source location for each
node, if available.
2024-03-11 10:43:49 +01:00
Martin Povišer
6e5f40e364
utils: Save detected loops with their nodes in-order
2024-03-11 10:43:49 +01:00
github-actions[bot]
078b876f50
Bump version
2024-03-09 00:14:37 +00:00
Krystine Sherwin
344ca18239
Makefile: Move CXX print to echo-cxx
2024-03-09 10:25:41 +13:00
Krystine Sherwin
56f66596b0
Change default CONFIG to none
...
- Use default value of `CXX` instead of forcing override to `clang++`.
- Add base `CXXFLAGS` and `ABCMKARGS` in else condition of `ifeq ($(CONFIG),..)`
block and output the value of `CXX`.
- Change readme to mention `CXX` envvar and that using `make config-clang` etc
will ignore `CXX`.
2024-03-09 10:25:41 +13: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
158fbf881e
memory_map: Explain -iattr better
2024-03-06 15:15:37 +01: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
Richard Herveille
1723aa251a
Added DSP support and updates for performance
2024-03-06 02:45:40 +01:00
Richard Herveille
58b1522a20
Added DSP macros
2024-03-06 02:45:29 +01:00
Richard Herveille
2fde482629
Fixed data/address width parameters
2024-03-06 02:45:07 +01:00
Richard Herveille
b16cdaab35
dsp_map for MAX10
2024-03-06 02:43:30 +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
Catherine
da2e9386f0
cxxrtl: install cxxrtl_time.h and cxxrtl_replay.h.
2024-02-26 17:55:56 +00:00
Martin Povišer
1fb71656b4
Merge pull request #4229 from povik/cut-notice
...
Cut down startup banner
2024-02-26 16:26:31 +01:00
Martin Povišer
dd11a5a37c
Shrink further
2024-02-26 16:25:46 +01:00
