3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-09-04 10:37:42 +00:00
sby/sbysrc
Krystine Sherwin e2b1e85090
Add --livecsv
Gate csv dump on status updates.
Format 'csv' heading in yellow.
2025-07-08 15:47:32 +12:00
..
sby.py Add --livecsv 2025-07-08 15:47:32 +12:00
sby_autotune.py Initial support for a multi-task property status database 2024-02-20 13:34:58 +01:00
sby_cmdline.py Add --livecsv 2025-07-08 15:47:32 +12:00
sby_core.py Add --livecsv 2025-07-08 15:47:32 +12:00
sby_design.py fix lookup of mangled path names 2024-10-16 13:56:36 +02:00
sby_engine_abc.py abc: Support arbitrary prep abc commands 2024-04-19 16:40:30 +02:00
sby_engine_aiger.py Initial live csv dumping 2025-07-08 15:47:31 +12:00
sby_engine_btor.py More depth tracking 2025-07-08 15:47:31 +12:00
sby_engine_smtbmc.py smtbmc updates db at each step 2025-07-08 15:47:32 +12:00
sby_jobserver.py Fix deadlock with parallel SBY procs each with parallel tasks 2023-07-17 15:29:17 +02:00
sby_mode_bmc.py Unified trace generation using yosys's sim across all engines 2023-01-10 18:42:26 +01:00
sby_mode_cover.py Unified trace generation using yosys's sim across all engines 2023-01-10 18:42:26 +01:00
sby_mode_live.py Add colors to engine header message 2022-11-24 18:12:22 +01:00
sby_mode_prove.py Unified trace generation using yosys's sim across all engines 2023-01-10 18:42:26 +01:00
sby_sim.py smtbmc: Use new -noinitstate option when simulating inductive cex 2023-09-28 17:38:15 +02:00
sby_status.py Add --livecsv 2025-07-08 15:47:32 +12:00