Formal extensions to Verilog - YosysHQ SBY documentation
symbiyosys.readthedocs.io