Jannis Harder
cb968ea2bb
Update .readthedocs.yaml
2023-05-08 11:33:14 +02:00
Jannis Harder
513d0d4288
Change Sphinx theme to "furo"
2023-05-03 16:56:09 +02:00
Jannis Harder
74f33880bd
Merge pull request #232 from dlmiles/win-qol-cleanopt
...
-f clean: QoL improvement on Windows concerning file/dir removal locking
2023-02-20 19:48:36 +01:00
Darryl L. Miles
fa5bc957c1
-f clean: QoL improvement on Windows concerning file/dir removal locking
...
When using the -f argument be more forgiving with the expectation of a clean
workspace and the expectation of the new sby run being responsible for
directory creation.
This is a usability and quality of life improvement for Windows users where
the OS can implement file and directory locking implicitly. In the EDA world
it is common to have multiple tools in use at any one time and it can become
tortious to have to close files / exit 3rd party applications to release
locking so sby is happy to rerun.
This change will prevent sby claiming a terminal error has occurred when it
fails to create a directory that already exists. It also now considers the
environment to be 'clean' (as per -f) if all the non-directory elements of
the file tree have been deleted, leaving potentially an empty a skeleton of
directories.
2023-02-18 09:36:18 +00:00
Miodrag Milanović
2cd0f6f71c
Try fixing GH action
2023-02-13 10:33:46 +01:00
Miodrag Milanović
8eaeca9aa4
Update GH action
2023-02-13 10:24:24 +01:00
N. Engelhardt
81ee5fdd5a
update prerequisites
2023-02-08 17:59:26 +01:00
Jannis Harder
466ab84745
Merge pull request #230 from jix/append_assume_default
...
append_assume: Make `append_assume on` the default for now
2023-02-08 14:42:20 +01:00
Jannis Harder
c5dce57067
append_assume: Make append_assume on the default for now
...
Having `append_assume off` needs `vcd_sim on` to not be ignored with a
warning and `vcd_sim off` is still the default.
2023-02-08 14:18:52 +01:00
Jannis Harder
37d1234e38
Merge pull request #228 from jix/docs-updates
...
Docs updates
2023-02-06 22:10:38 +01:00
Jannis Harder
7a3b88ca67
docs: Document new sim related options
2023-02-06 16:55:19 +01:00
Jannis Harder
6d1ef8b5a0
docs: Yices is still recommended
2023-02-06 16:54:37 +01:00
Jannis Harder
7d3f0d50a5
Merge pull request #227 from jix/sim_traces
...
Unified trace generation using Yosys's sim command across all engines
2023-01-25 10:53:21 +01:00
Jannis Harder
f14aaa57c4
avy: Fold aiger model using abc to support assumptions
2023-01-11 18:36:06 +01:00
Jannis Harder
6398938e6a
Enable yosys sim support for clock signals in hierarchical designs
2023-01-11 18:02:45 +01:00
Jannis Harder
06c36d5bb0
Support "fifo:" make jobserver auth
2023-01-10 18:42:26 +01:00
Jannis Harder
6d3b5aa960
Unified trace generation using yosys's sim across all engines
...
Currently opt-in using the `fst` or `vcd_sim` options.
2023-01-10 18:42:26 +01:00
Jannis Harder
4c44a10f72
Merge pull request #226 from jix/python36-fstrings
...
Do not use fstring syntax that requires Python 3.8
2022-12-19 17:28:04 +01:00
Jannis Harder
beb8b3c6e3
Do not use fstring syntax that requires Python 3.8
...
While we most likely will require Python 3.8 going forward, this might
restore Python 3.6 compatibility until we update the installation guide.
2022-12-19 16:49:37 +01:00
Jannis Harder
544a1cb369
Merge pull request #224 from jix/jobserver-poll-fix
...
jobserver: Only poll non-helper-process jobserver fd when ready to read
2022-12-09 16:54:24 +01:00
Jannis Harder
19109fd9f2
jobserver: Only poll non-helper-process jobserver fd when ready to read
...
This avoids SBY going into a busy wait loop in that case.
2022-12-09 16:24:22 +01:00
Claire Xen
9c75e49418
Merge pull request #221 from YosysHQ/claire/click
...
Add color handling via click.style and click.echo
2022-11-24 18:19:43 +01:00
Claire Xenia Wolf
c29a5bbe8a
Add colors to engine header message
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2022-11-24 18:12:22 +01:00
Claire Xenia Wolf
e8d713cc27
Add colors to early and late log messages
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2022-11-02 12:35:11 +01:00
Claire Xenia Wolf
003ccf7197
Add color handling via click.style and click.echo
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2022-10-31 20:29:32 +01:00
Jannis Harder
54cb030738
Merge pull request #220 from jix/aigbmc-use-yw
...
aigbmc: Convert aiw trace to yw trace and load that into smtbmc
2022-10-24 16:29:23 +02:00
Miodrag Milanović
50bdc76fe3
Update CI script
2022-10-24 08:31:45 +02:00
Jannis Harder
966bdae1f6
aigbmc: Convert aiw trace to yw trace and load that into smtbmc
...
This handles more edge cases concerning FF initialization, memories and
hierarchy.
2022-10-20 14:36:07 +02:00
Jannis Harder
6995aaef78
Merge pull request #219 from jix/fix-parallel-tests
...
tests: Do not run the same SBY task multiple times in parallel
2022-10-20 14:35:17 +02:00
Jannis Harder
90616c280b
tests: Do not run the same SBY task multiple times in parallel
2022-10-20 14:18:51 +02:00
Jannis Harder
83a1aa23c8
Merge pull request #218 from jix/fix_engine_list
...
Fix engine_list's return value
2022-09-15 17:59:25 +02:00
Jannis Harder
a0e3dd3d9a
Fix engine_list's return value
...
This fixes #216
2022-09-15 15:47:27 +02:00
Jannis Harder
e97dd01523
Merge pull request #215 from KrystalDelusion/master
...
Fixing golden/fifo.sv
2022-09-08 12:37:30 +02:00
KrystalDelusion
37140e7e81
Fixing golden/fifo.sv
...
Had missed a change from (non golden) fifo.sv.
2022-09-07 09:52:52 +12:00
Jannis Harder
9edb6ee00b
Merge pull request #214 from jix/no_vcd
...
Add vcd option to make VCD writing optional
2022-09-05 16:05:06 +02:00
Jannis Harder
168d667b6d
Add vcd option to make VCD writing optional
2022-09-05 15:42:24 +02:00
Jannis Harder
17c3961a2b
Merge pull request #213 from jix/fix_tests
...
Fix tests
2022-09-05 14:08:31 +02:00
Jannis Harder
326247fdef
tests: Skip broken tests
2022-09-03 00:04:40 +02:00
Jannis Harder
586be8ba96
tests: Fix test_rules.py after sby config parser changes
2022-09-03 00:03:28 +02:00
N. Engelhardt
4adb99ea30
Merge pull request #174 from KrystalDelusion/fifo_example
2022-08-22 11:34:51 +02:00
KrystalDelusion
82a6edf295
Moving newstart to replace quickstart
2022-08-22 21:20:59 +12:00
KrystalDelusion
df2610d598
Fixes before merge
2022-08-22 21:18:40 +12:00
Jannis Harder
bd88454d7d
Merge pull request #196 from jix/parallel_jobserver
...
Run tasks in parallel and integrate with the make jobserver
2022-08-19 14:21:53 +02:00
Jannis Harder
353fac4db3
Merge pull request #211 from jix/skip_tests
...
tests: Ignore .sby files starting with skip_
2022-08-19 14:21:23 +02:00
Jannis Harder
8879a5db6e
Merge pull request #209 from YosysHQ/aki/sby_config
...
Add parser changes needed for the SBY "stages" functionality
2022-08-19 14:13:04 +02:00
Jannis Harder
e91977e01e
Use local jobslots as fallback on Windows.
...
As we have no make jobserver support on windows, fallback to using
process local slots to limit prallelism.
2022-08-18 14:40:02 +02:00
Jannis Harder
b0786aea43
Make jobserver integration
...
Only implements the POSIX jobserver and will break on windows.
Unbreaking it on windows will be done as a follow up.
Not used for autotune, that needs some more changes.
2022-08-18 14:40:00 +02:00
Jannis Harder
de939e279a
Run tasks in parallel
2022-08-18 14:38:40 +02:00
Jannis Harder
ea84c67f95
tests: Ignore .sby files starting with skip_
2022-08-18 14:07:13 +02:00
Aki Van Ness
de40cc499f
sby: core: removed invalid None check in setup section
2022-08-18 05:52:38 -04:00
