SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows.
conda install litex-hub::symbiyosys