YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388 stars 73 forks source link

Run tasks in parallel and integrate with the make jobserver #196

Closed jix closed 2 years ago

jix commented 2 years ago

Adds support for running tasks in parallel (apart from autotune which already runs candidates in parallel and needs more work to integrate with this new code) and for using a make jobserver to limit parallelism (apart from on windows where the make jobserver situation is complicated, it falls back to process local jobslot limits there). Adds the -j flag to set the max number of parallel processes (defaults to the number of available cpu threads) when no existing jobserver is inherited and the --sequential flag to disable parallel execution of tasks (matching the previous behavior, this is independent of running processes in parallel).