Getting started - YosysHQ SBY documentation
symbiyosys.readthedocs.io