mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-10-31 04:52:30 +00:00
Code Activity
549 commits 9 branches 33 tags 2.7 MiB
Commit graph

549 commits

This branch
This branch
All branches
Author SHA1 Message Date
Aki Van Ness
822249655a
sby: core: started on the stage config generation 2023-02-09 11:16:21 -05:00
Aki Van Ness
44bd9ed04b
sby: core: backported changes from #212 for sby-stages integration 2023-02-09 11:16:21 -05:00
Aki Van Ness
b53bcf8c11
sby: core: fixed the setup script generation and ensured the model for the setup was implemented 2023-02-09 11:16:21 -05:00
Aki Van Ness
19061bc422
sby: core: setup: added the selection inversion and assertion removal to the script generation 2023-02-09 11:14:29 -05:00
Aki Van Ness
eb90f08086
sby: core: Started on the initial stages setup script generation 2023-02-09 11:14:29 -05: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
Aki Van Ness
41b4ce5a7e
sby: fixed issue where engine index would be out of range 2022-08-18 05:51:03 -04:00