SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware
verification flows.